[][src]Constant esp_idf_bindgen::GPIO_PIN_REG_13

pub const GPIO_PIN_REG_13: u32 = 1072992312;