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