)]}'
{
  "id": "920e5548cfbca9afabad8909f64d41dc7b61f8ac",
  "repo": "third_party/kernel",
  "revision": "c6cc3ce85d7ed70ec69a71e2d8f7e205d6f7ae3c",
  "path": "drivers/gpu/host1x/dev.h"
}