CPUIDEDX_ITSC
if (curcpu_apmi_edx & CPUIDEDX_ITSC) {
if (curcpu_apmi_edx & CPUIDEDX_ITSC)
#define VMM_APMI_EDX_INCLUDE_MASK (CPUIDEDX_ITSC)
{ CPUIDEDX_ITSC, "ITSC" },