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