KVM_FEATURE_CLOCKSOURCE
(KVM_FEATURE_CLOCKSOURCE2 | KVM_FEATURE_CLOCKSOURCE)) == 0)
KASSERT((regs[0] & KVM_FEATURE_CLOCKSOURCE) != 0,