So this ADC goes up to 2.5 Msps on 12-bit, right?

Well... I was wondering, why are my times off? It looks like I'm sampling like twice as fast at 5 Msps.
First guess, I'm not using twelve bit? Well I am.

So I end up looking at the timings sections where they do some calculations.
It turns out their calculations with which they reach the 2.5Msps use an ADC clock of 35 Mhz.
But I'm using a 64 Mhz clock... ya know, the fastest clock available to me.

So yeah, turns out the *real* max speed is 4,571,429.0 samples per second.

Nice! But also, ugh.