GPIO Maximum Frequency

Hi

I want to figure out the maximum frequency of the GPIO pins of eZdsp
f2812. I have read up all the documents but cant figure out what the
maximum frequency is. I used TI's gpiotoggle code to figure out what rate
i can get. I found that the maximum rate is around 8.8 MHz. Is this
correct as per the documentation? Thanks.

Best regards

Vikram