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