)]}'
{
  "id": "0bde03feb095365602af6fe0239a5d13b26181b3",
  "repo": "third_party/linux",
  "revision": "8fceb4e0171f6bf64db756c65b2ce5f15aed8b4d",
  "path": "drivers/clocksource/tegra20_timer.c"
}