Constant SIO_SPINLOCK3_BITS 

pub const SIO_SPINLOCK3_BITS: u32 = 4294967295;