Symbol: invlpg_handler
sys/amd64/amd64/mp_machdep.c
880
invlpg_handler(vm_offset_t smp_tlb_addr1)
sys/i386/i386/mp_machdep.c
673
invlpg_handler(void)