Symbol: clear_xinvltlb
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1571
clear_xinvltlb();
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2215
clear_xinvltlb();