Constant IO_MUX_GPIO25_REG 

pub const IO_MUX_GPIO25_REG: u32 = 1072992292;