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