)]}' { "id": "fbfa7ff6deb1644aa1fbec858a0567ada0d7cb44", "repo": "linux", "revision": "2fcfe7b79f081aa4cf2a9add6c20abc3663e5640", "path": "drivers/irqchip/irq-gic-v3-mbi.c" }