[][src]Constant uikit_sys::PTHREAD_KEYS_MAX

pub const PTHREAD_KEYS_MAX: u32 = 512;