vsw_marker_task
(ddi_taskq_dispatch(vswp->taskq_p, vsw_marker_task,
static void vsw_marker_task(void *);