)]}'
{
  "id": "fa6d4bc46e981c6b2d25780ab0a8d6e16f532f61",
  "repo": "third_party/kernel",
  "revision": "8956dbfffd3a5ead6eec995202545aa67f745a74",
  "path": "drivers/gpu/host1x/dev.h"
}