)]}'
{
  "id": "6cdc873ac907f5861668b438f46e6ab8150d5c60",
  "repo": "third_party/kernel",
  "revision": "d84153907f743d6d62ecb9be3216622a05d12bcc",
  "path": "include/clocksource/hyperv_timer.h"
}