)]}'
{
  "id": "69866cd8f4bb419cae13a71b5569eedd1d32546a",
  "repo": "third_party/linux",
  "revision": "6a1c9ecf4e249a26f406b3d41aed4840362cfd60",
  "path": "drivers/clocksource/dw_apb_timer_of.c"
}
