fcoe_worker_frame
(void) ddi_taskq_dispatch(fcoe_worker_taskq, fcoe_worker_frame,
static void fcoe_worker_frame();