Constant GPIO_PIN_PAD_DRIVER_MASK 

pub const GPIO_PIN_PAD_DRIVER_MASK: u32 = 4;