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