Constant __glibcxx_shared_mutex 

pub const __glibcxx_shared_mutex: u32 = 201505;