HV_X64_MSR_APIC_FREQUENCY
rdmsrq(HV_X64_MSR_APIC_FREQUENCY, hv_lapic_frequency);
case HV_X64_MSR_APIC_FREQUENCY:
case HV_X64_MSR_APIC_FREQUENCY:
case HV_X64_MSR_APIC_FREQUENCY:
HV_X64_MSR_TSC_FREQUENCY, HV_X64_MSR_APIC_FREQUENCY,