rpi_pico_sdk_sys

Constant SIO_SPINLOCK15_MSB

Source 
pub const SIO_SPINLOCK15_MSB: u32 = 31;