Symbol: sun4u_ipi_tlb_page_demap
sys/arch/sparc64/sparc64/ipifuncs.c
230
sun4u_broadcast_ipi(sun4u_ipi_tlb_page_demap, va, ctx);
sys/arch/sparc64/sparc64/ipifuncs.c
52
void sun4u_ipi_tlb_page_demap(void);