)]}'
{
  "id": "57cb2f00fc07ce7f5ffb526bd9bb03ed11287626",
  "repo": "third_party/linux",
  "revision": "cd6c56feb591f6fe66bebcbeb43ecc0e2acdcffa",
  "path": "drivers/clocksource/arm_arch_timer.c"
}