)]}'
{
  "id": "8f40cb81a88713f50ad0c32ae1d2b5cf0588bb36",
  "repo": "ipxe",
  "revision": "8830f2f3514751e702199600fa6d0c42522a709a",
  "path": "src/interface/efi/efi_timer.c"
}