)]}'
{
  "id": "43005d4d334841866d11e0d503d5e68e416062ce",
  "repo": "third_party/linux",
  "revision": "4dcd78d80d37a360f5faab422a4e48b2cfd4abe4",
  "path": "drivers/clocksource/arm_arch_timer.c"
}