Constant SIO_SPINLOCK25_BITS 

pub const SIO_SPINLOCK25_BITS: u32 = 4294967295;