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