)]}'
{
  "id": "9b83f4ff3fafa49c6a2bd5214aafa62b98142dc9",
  "repo": "linux",
  "revision": "94e6fdd028a12ff2abe7d915f8b6bbdb923cc04d",
  "path": "drivers/gpu/drm/vboxvideo/hgsmi_channels.h"
}