Symbol: invlpg_handler
sys/amd64/amd64/mp_machdep.c
1064
invlpg_handler(smp_tlb_addr1);
sys/i386/include/smp.h
38
void invlpg_handler(void);
sys/x86/xen/xen_apic.c
258
invlpg_handler();