Constant GPIO_PIN25_WAKEUP_ENABLE_V 

pub const GPIO_PIN25_WAKEUP_ENABLE_V: u32 = 1;