)]}'
{
  "id": "4382035a75bbcdc65d8099a9b3d2d384e31815ff",
  "repo": "third_party/kernel",
  "revision": "9ee6c5dc816aa8256257f2cd4008a9291ec7e985",
  "path": "include/linux/timecounter.h"
}