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