)]}'
{
  "id": "87e6f8a4866198d022930a2af17db0e23153a7b6",
  "repo": "third_party/linux",
  "revision": "fe9e8d53772b5ea9ccf8ea4e8f0f009a6885eb70",
  "path": "include/xen/interface/vcpu.h"
}