Constant SPIN_LOCK_ALREADY_OWNED 

pub const SPIN_LOCK_ALREADY_OWNED: BUGCHECK_ERROR;