)]}'
{
  "id": "919b5bdcb2bdcfe31f2e8f970e14a9533af7eb04",
  "repo": "linux",
  "revision": "ca1e8bb8e4e89e2769e2b39eb29fdcfc5c19cf89",
  "path": "include/xen/interface/event_channel.h"
}