Constant GPIO_PIN_CONFIG_MASK

pub const GPIO_PIN_CONFIG_MASK: u32 = 6144;