)]}' { "id": "dfe4a460340b99804e0085c25d770a93d7671839", "repo": "third_party/kernel", "revision": "876119e5ff899365b35f7a6949665d9eaaa10fbc", "path": "drivers/irqchip/irq-bcm2836.c" }