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