)]}'
{
  "id": "ae877b021b54449219cef0d1f3e43fe442c54bca",
  "repo": "linux",
  "revision": "f7f7c1850eb98da758731ea7edfa830ebefe24cd",
  "path": "drivers/clocksource/tegra20_timer.c"
}