)]}'
{
  "id": "0fc31d029e52224391dc419d96e9391aa38fff77",
  "repo": "third_party/linux",
  "revision": "efa8f7e5d7bc2a6f1d1f9b43f9514d02f00b9cb1",
  "path": "drivers/clocksource/arm_global_timer.c"
}
