)]}'
{
  "id": "cf80e338fbb072366aeb371589fdb6fcde85e871",
  "repo": "third_party/kernel",
  "revision": "d68f50bfb00f6288e812be895ea5c77932a4b9dd",
  "path": "include/xen/interface/event_channel.h"
}