Symbol: plat_ecc_send_msg
usr/src/uts/sun4u/os/plat_ecc_unum.c
1045
if (taskq_dispatch(plat_ecc_taskq, plat_ecc_send_msg,
usr/src/uts/sun4u/os/plat_ecc_unum.c
51
static void plat_ecc_send_msg(void *);