Constant THREAD_NOT_MUTEX_OWNER 

pub const THREAD_NOT_MUTEX_OWNER: BUGCHECK_ERROR;