crypto_drv_mtx
KASSERT(mutex_owned(&crypto_drv_mtx));
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_init(&crypto_drv_mtx, MUTEX_DEFAULT, IPL_NONE);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_destroy(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_enter(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
mutex_exit(&crypto_drv_mtx);
KASSERT(mutex_owned(&crypto_drv_mtx));