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