)]}'
{
  "id": "c337a8100a7b991988fa63cd31f0de96194803a2",
  "repo": "third_party/linux",
  "revision": "c1f3fa2a4fde2818623b42e3f749bd478be5dec7",
  "path": "drivers/clocksource/tegra20_timer.c"
}