sys/amd64/vmm/io/iommu.c

188

else if (vmm_is_svm())

sys/amd64/vmm/vmm.c

123

else if (vmm_is_svm()) \

sys/amd64/vmm/vmm_stat.h

64

VMM_STAT_DEFINE(type, 1, desc, vmm_is_svm)

sys/amd64/vmm/vmm_util.c

39

return (vmm_is_intel() || vmm_is_svm());

sys/amd64/vmm/vmm_util.h

36

bool vmm_is_svm(void);

sys/amd64/vmm/x86.c

134

if (vmm_is_svm()) {

sys/amd64/vmm/x86.c

233

if (!vmm_is_svm())

sys/amd64/vmm/x86.c

286

if (!vmm_is_svm() || CPUID_TO_FAMILY(cpu_id) < 0x16)