Symbol: invltlb_handler
sys/amd64/amd64/mp_machdep.c
1041
invltlb_handler(smp_tlb_pmap);
sys/i386/include/smp.h
37
void invltlb_handler(void);
sys/x86/xen/xen_apic.c
250
invltlb_handler();