Symbol: invlcache_handler
sys/amd64/amd64/mp_machdep.c
1073
invlcache_handler();
sys/i386/include/smp.h
40
void invlcache_handler(void);
sys/x86/xen/xen_apic.c
274
invlcache_handler();