pub const SPIN_LOCK_ALREADY_OWNED: BUGCHECK_ERROR = 15u32;