)]}'
{
  "id": "5f8da466e8a96142947cfe83bffe1646b55efbe3",
  "repo": "linux",
  "revision": "b63f4a4e95d61bc7fc3db074f3689c849f27f046",
  "path": "include/xen/interface/event_channel.h"
}
