Constant esp_idf_hal::sys::portMUX_FREE_VAL

source ยท 
pub const portMUX_FREE_VAL: u32 = 3007315967; // 3_007_315_967u32