)]}'
{
  "id": "884cabf16088e378f98ef757f403a34cd97b2544",
  "repo": "third_party/kernel",
  "revision": "41762b8ca9e16c7443d8348ec53daddbe940cdcc",
  "path": "include/linux/mmtimer.h"
}