vmm_is_svm
} else if (vmm_is_svm()) {
} else if (vmm_is_svm()) {
if (vmm_is_svm()) {
if (!vmm_is_svm())
if (!vmm_is_svm() || CPUID_TO_FAMILY(cpu_id) < 0x16)
} else if (vmm_is_svm()) {
if (vst->scope == VMM_STAT_SCOPE_AMD && !vmm_is_svm())
bool vmm_is_svm(void);
} else if (vmm_is_svm()) {