pub const SPIN_LOCK_NOT_OWNED: BUGCHECK_ERROR = 16u32;