)]}'
{
  "id": "9a7d4dc00b6ea196b37736f8b3bfc7d69e8f2558",
  "repo": "linux",
  "revision": "da2441fdffbf7602da702aea5bd95ca4dc3d63fc",
  "path": "drivers/clocksource/arm_arch_timer.c"
}