Symbol: GPIO_PORTS_EOI