Constant portMUX_FREE_VAL 

pub const portMUX_FREE_VAL: u32 = 3007315967;