Symbol: hma_svm_cpu_activate
usr/src/uts/intel/os/hma.c
946
(void) hma_svm_cpu_activate(0, 0, 0);
usr/src/uts/intel/os/hma.c
955
xc_call(0, 0, 0, CPUSET2BV(set), hma_svm_cpu_activate);