)]}'
{
  "id": "b2a951a798e2e9b9cc60b3c1f81ba6e966735bbf",
  "repo": "third_party/kernel",
  "revision": "feebcaeac79ad86fb289ef55fa92f4a97ab8314e",
  "path": "drivers/clocksource/arm_arch_timer.c"
}