esp_idf_sys

Constant IO_MUX_GPIO12_REG

Source 
pub const IO_MUX_GPIO12_REG: u32 = 1072992308;