)]}'
{
  "id": "dbb8b1efda44cc1dba37ec84841516fe874d04e8",
  "repo": "linux",
  "revision": "1cab1375ba6d5337a25acb346996106c12bb2dd0",
  "path": "drivers/irqchip/irq-gic-v3-mbi.c"
}