Constant riot_sys::THREAD_FLAG_PREDEFINED_MASK

pub const THREAD_FLAG_PREDEFINED_MASK: u32 = 49152;