)]}'
{
  "id": "48a73c101eb85a1fd6bb53f7c3e72cd9a138ca67",
  "repo": "third_party/kernel",
  "revision": "bdbde7078cc46500653d60b76e7490df2fdbbee5",
  "path": "drivers/clocksource/timer-gxp.c"
}
