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