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