Symbol: svm_change_cpu
sys/dev/nvmm/x86/nvmm_x86_svm.c
2875
xc = xc_broadcast(0, svm_change_cpu, (void *)true, NULL);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2896
xc = xc_broadcast(0, svm_change_cpu, (void *)false, NULL);