)]}'
{
  "id": "4c61dade8835f5d994afda3e08b34cc2842e18e4",
  "repo": "third_party/kernel",
  "revision": "5fedf0d295d3ef69fd85fdee4cb68fd3756b54c2",
  "path": "include/clocksource/timer-ti-dm.h"
}