esp_idf_sys

Constant IO_MUX_GPIO13_REG

Source 
pub const IO_MUX_GPIO13_REG: u32 = 1072992312;