Constant SOC_GPIO_VALID_OUTPUT_GPIO_MASK 

pub const SOC_GPIO_VALID_OUTPUT_GPIO_MASK: u64 = 13136560127;