)]}'
{
  "id": "dd755ce2a5ebdb867b959f6efc21b696500c5732",
  "repo": "third_party/kernel",
  "revision": "1e142b29e210b5dfb2deeb6ce2210b60af16d2a6",
  "path": "include/linux/dw_apb_timer.h"
}