Constant CKR_MUTEX_NOT_LOCKED 

pub const CKR_MUTEX_NOT_LOCKED: CK_RV = 417;