Constant r_core::__PTHREAD_SIZE__[][src]

pub const __PTHREAD_SIZE__: u32 = 8176;