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