scx_flash::bpf_intf

Constant PTHREAD_KEYS_MAX

Source 
pub const PTHREAD_KEYS_MAX: u32 = 1024;