pub const GPIO_PIN_CONFIG_MASK: u32 = 6144; // 6_144u32