)]}'
{
  "id": "67b1fca39aa6c76755816dee80da87805fb8d70d",
  "repo": "third_party/linux",
  "revision": "470712f4101752ea3ab956e7b80d94dc6a252550",
  "path": "drivers/gpu/drm/drm_ioc32.c"
}