AM3352: Clock source of DMtimer[2-7]

Part Number: AM3352

TMtimer[2-7] uses Functional clock (Max 26MHz) as clock source by default.

I'd like to use Interface clock (Max 100MHz), not Functional clock. Which (PRCM/Timer) register should I set to switch clock source?