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