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