Constant SIO_SPINLOCK4_MSB 

pub const SIO_SPINLOCK4_MSB: u32 = 31;