)]}' { "id": "8a0e69298e830f7cd934daf2043154a58c9cde7b", "repo": "linux", "revision": "72641d8d60401a5f1e1a0431ceaf928680d34418", "path": "drivers/irqchip/irq-tb10x.c" }