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