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