Symbol: TLBSHOOT_NVMM
sys/dev/nvmm/x86/nvmm_x86_svm.c
2688
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3467
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3792
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);