Symbol: sun4v_ipi_tlb_page_demap
sys/arch/sparc64/sparc64/ipifuncs.c
228
sun4v_broadcast_ipi(sun4v_ipi_tlb_page_demap, va, ctx);
sys/arch/sparc64/sparc64/ipifuncs.c
54
void sun4v_ipi_tlb_page_demap(void);