)]}'
{
  "id": "73c487da6d2a9f0004043e23ff5e1e747672a065",
  "repo": "arm/linux",
  "revision": "b685d3d65ac791406e0dfd8779cc9b3707fea5a3",
  "path": "drivers/clocksource/arm_arch_timer.c"
}