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