)]}'
{
  "id": "720ed70a2964fc7bb3fc82478f14c059d99da7a4",
  "repo": "third_party/kernel",
  "revision": "e750e2f2a2dd2e03985965cbef2bed3b4537e69e",
  "path": "drivers/clocksource/timer-ixp4xx.c"
}