)]}'
{
  "id": "933bb960490d0a287e04e2a648e15cfd9f4fbf85",
  "repo": "kernel/common",
  "revision": "1ca1130ec62d",
  "path": "drivers/clocksource/arm_arch_timer.c"
}