Constant esp_idf_hal::sys::GPIO_PIN13_REG

source ยท 
pub const GPIO_PIN13_REG: u32 = 1610629288; // 1_610_629_288u32