Symbol: invlrng_handler
sys/amd64/amd64/mp_machdep.c
1053
invlrng_handler(smp_tlb_addr1, smp_tlb_addr2);
sys/i386/include/smp.h
39
void invlrng_handler(void);
sys/x86/xen/xen_apic.c
266
invlrng_handler();