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