)]}'
{
  "id": "efa931c5cef145e354fd290cf0794bccb7446247",
  "repo": "third_party/kernel",
  "revision": "ffb32e973eb5105ec55e0bbf2e77a1ea4a7a123a",
  "path": "include/linux/sched_clock.h"
}
