Constant SPIN_LOCK_NOT_OWNED 

pub const SPIN_LOCK_NOT_OWNED: BUGCHECK_ERROR;