Constant esp_idf_sys::portMUX_FREE_VAL

pub const portMUX_FREE_VAL: u32 = 3007315967;