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