sun4u_broadcast_ipi
sun4u_broadcast_ipi(func, arg0, arg1);
sun4u_broadcast_ipi(sun4u_ipi_tlb_page_demap, va, ctx);
sun4u_broadcast_ipi(sun4u_ipi_tlb_context_demap, ctx, 0);
void sun4u_broadcast_ipi(void (*)(void), u_int64_t, u_int64_t);