Constant IO_MUX_GPIO12_REG 

pub const IO_MUX_GPIO12_REG: u32 = 1072992308;