)]}' { "id": "24d388d740116df25e5bea1351fc2570fd36812c", "repo": "kernel/common", "revision": "8f66a7a8b20edca396204f0b4f6ccb9904a0e86c", "path": "drivers/irqchip/irq-gic-v3.c" }