)]}'
{
  "id": "4334106f44c3272c3c8622934c626a8147b136ff",
  "repo": "third_party/kernel",
  "revision": "a1b98e3b4fb8d3338bbefa2f5b78eb7248af5520",
  "path": "include/linux/dw_apb_timer.h"
}