Constant GPIO_PIN12_WAKEUP_ENABLE_V 

pub const GPIO_PIN12_WAKEUP_ENABLE_V: u32 = 1;