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