)]}'
{
  "id": "4bb1088455a6343236b78edd42e4e71d766e37c2",
  "repo": "upstream",
  "revision": "a5569cb59da3438b0c8baa06f82c2cc2b558da07",
  "path": "kern/arch/x86/paging_tmpl.h"
}