)]}'
{
  "id": "82db4014deb212abd361ec6f663fd8a50f731130",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/x86/kernel/sev-es-shared.c"
}
