[−][src]Constant rpi_pico_sdk::__PTHREAD_CONDATTR_SIZE__

pub const __PTHREAD_CONDATTR_SIZE__: u32 = 8;