)]}'
{
  "id": "35a88097af3c0daef2918c8e93585b004e268623",
  "repo": "third_party/linux",
  "revision": "7724105686e718ac476a6ad3304fea2fbcfcffde",
  "path": "drivers/clocksource/dw_apb_timer.c"
}