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