)]}'
{
  "id": "956ebe2080a584d4a8e7843a9e4110edbc15f7b6",
  "repo": "third_party/kernel",
  "revision": "cde4e338c2b2dda998dd480ecf9df55a1624820d",
  "path": "drivers/char/uv_mmtimer.c"
}