Symbol: GPIO_INT_FEDGE_PIN_MASK_72_95