)]}'
{
  "id": "8ff7cd4e20bb1132af3bdc0c0ef79f038294f941",
  "repo": "third_party/kernel",
  "revision": "f1ab3a1bcbbc98427ec6dc4343fcb5a74bacea34",
  "path": "drivers/clocksource/hyperv_timer.c"
}