Constant SIO_SPINLOCK4_BITS 

pub const SIO_SPINLOCK4_BITS: u32 = 4294967295;