)]}'
{
  "id": "98188c87f5c15efab55256331915747e144f7662",
  "repo": "third_party/linux",
  "revision": "c4364f837caf618c2fdb51a2e132cf29dfd1fffa",
  "path": "include/xen/interface/vcpu.h"
}