)]}'
{
  "id": "7a1ff786910b6e85045eb43c119e984d5853a829",
  "repo": "ipxe",
  "revision": "a56bba3912531385e37e749fa88f92fe00599a2b",
  "path": "src/interface/efi/efi_timer.c"
}