)]}'
{
  "id": "3b5610b525e5867ec279c91b40a2e43c56e0820e",
  "repo": "third_party/kernel",
  "revision": "99d930f3ece461da976ffeb3c44dfdfbd7a910ec",
  "path": "drivers/gpu/host1x/intr.h"
}