Symbol: TLBSHOOT_KENTER
sys/arch/x86/x86/pmap.c
1056
pmap_tlb_shootdown(pmap_kernel(), va, opte, TLBSHOOT_KENTER);
sys/arch/xen/x86/xen_pmap.c
194
TLBSHOOT_KENTER);