Constant GPIO_PIN_CONFIG_MASK 

pub const GPIO_PIN_CONFIG_MASK: u32 = 6144;