CPUID_LEAF_HV_HWFEATURES
if (maxleaf >= CPUID_LEAF_HV_HWFEATURES) {
x86_cpuid(CPUID_LEAF_HV_HWFEATURES, regs);