CPUID_TO_FAMILY
family = CPUID_TO_FAMILY(cpu_id);
if (!vmm_is_svm() || CPUID_TO_FAMILY(cpu_id) < 0x16)
if (!vmm_is_svm() || CPUID_TO_FAMILY(cpu_id) < 0x17)