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