esp_idf_sys

Constant IO_MUX_GPIO9_REG

Source 
pub const IO_MUX_GPIO9_REG: u32 = 1072992340;