sun4v_broadcast_ipi
sun4v_broadcast_ipi(func, arg0, arg1);
sun4v_broadcast_ipi(sun4v_ipi_tlb_page_demap, va, ctx);
sun4v_broadcast_ipi(sun4v_ipi_tlb_context_demap, ctx, 0);
void sun4v_broadcast_ipi(void (*)(void), u_int64_t, u_int64_t);