[−][src]Constant rpi_pico_sdk_sys::__PTHREAD_RWLOCK_SIZE__

pub const __PTHREAD_RWLOCK_SIZE__: u32 = 192;