)]}' { "id": "86106c44ce94547422647d4fa78946d147e24fa5", "repo": "third_party/dump-capture-kernel", "revision": "23695d1abbbc97337638199166ae6be3b0eb74f4", "path": "drivers/pci/setup-irq.c" }