esp_idf_hal::sys

Constant GPIO_PIN25_REG

Source 
pub const GPIO_PIN25_REG: u32 = 1610629336; // 1_610_629_336u32