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