CPUID_LEAF_HV_LIMITS
if (regs[0] < CPUID_LEAF_HV_LIMITS)
if (maxleaf < CPUID_LEAF_HV_LIMITS)
do_cpuid(CPUID_LEAF_HV_LIMITS, regs);