Constant NO_SPIN_LOCK_AVAILABLE 

pub const NO_SPIN_LOCK_AVAILABLE: BUGCHECK_ERROR;