i thought it was an ARM7500.

i can dredge up the a7000  inferno code if that would be useful.