Searched refs:px_dbg_mutex (Results 1 – 1 of 1) sorted by relevance
122 static kmutex_t px_dbg_mutex; /* Mutex for dequeuing */ variable207 mutex_enter(&px_dbg_mutex); in px_dbg_drain()226 mutex_exit(&px_dbg_mutex); in px_dbg_drain()268 mutex_init(&px_dbg_mutex, NULL, MUTEX_DRIVER, NULL); in px_dbg_attach()292 mutex_destroy(&px_dbg_mutex); in px_dbg_detach()