xpvtap_user_thread
static void xpvtap_user_thread(void *arg);
e = ddi_taskq_dispatch(thread->ut_taskq, xpvtap_user_thread, state,
