)]}' { "id": "b70ce0d3c092e40188011d07f3c1437a45de6152", "repo": "linux", "revision": "9c0c4d24ac000e52d55348961d3a3ba42065e0cf", "path": "drivers/irqchip/irq-i8259.c" }