esp_idf_hal::sys

Constant portMUX_FREE_VAL

Source 
pub const portMUX_FREE_VAL: u32 = 3007315967; // 3_007_315_967u32