)]}'
{
  "id": "42e7e43b8fcd9e82c7f740c934b9a1edd69e8d64",
  "repo": "linux",
  "revision": "14bd41e41899cbd1de4bb5ddfa46c85b08091a69",
  "path": "drivers/clocksource/dw_apb_timer_of.c"
}