Symbol: invlcache_handler
sys/amd64/amd64/mp_machdep.c
1027
invlcache_handler(void)
sys/i386/i386/mp_machdep.c
719
invlcache_handler(void)