Symbol: svm_stgi
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1680
svm_stgi();
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1694
svm_stgi();
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1704
svm_stgi();