Constant SIO_SPINLOCK12_BITS 

pub const SIO_SPINLOCK12_BITS: u32 = 4294967295;