Constant esp_idf_sys::GPIO_PIN13_REG

source ยท 
pub const GPIO_PIN13_REG: u32 = 1072971964;