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