CPUID_LEAF_HV_RECOMMENDS
hv_get_vpreg_128(CPUID_LEAF_HV_RECOMMENDS, &result);
do_cpuid(CPUID_LEAF_HV_RECOMMENDS, regs);