Symbol: GPIO_INT_EDGE_MASK