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