)]}'
{
  "id": "ff61ea36599718a2cc385d0d597925f4527c6a6a",
  "repo": "third_party/linux",
  "revision": "4aee491cd4e4f1069bfbab309cbd653313938d80",
  "path": "include/xen/interface/vcpu.h"
}