)]}'
{
  "id": "ffadd836e0b5173a96d30f20b2f16faeda823c57",
  "repo": "linux",
  "revision": "0c3aa83e00a9cd93f08e7aa42fba01924aa5f2fc",
  "path": "drivers/clocksource/arm_arch_timer.c"
}