Constant vex_sys::HAVE_PTHREAD_MUTEX_T__DATA__KIND[][src]

pub const HAVE_PTHREAD_MUTEX_T__DATA__KIND: u32 = 1;