it appears that all of the dmtimers are initialized to run with the 24MHz clock. Where is the API to change any one of the timers to run with the 32.768KHz clock?
from dmtimer.c for timer 4 for example (CLK_M_OSC is the 24MHz clock according to the AM3358 TRM):
/* Select the clock source for the Timer2 instance. */
HWREG(SOC_CM_DPLL_REGS + CM_DPLL_CLKSEL_TIMER4_CLK) &=
~(CM_DPLL_CLKSEL_TIMER4_CLK_CLKSEL);
HWREG(SOC_CM_DPLL_REGS + CM_DPLL_CLKSEL_TIMER4_CLK) |=
CM_DPLL_CLKSEL_TIMER4_CLK_CLKSEL_CLK_M_OSC;
while((HWREG(SOC_CM_DPLL_REGS + CM_DPLL_CLKSEL_TIMER4_CLK) &
CM_DPLL_CLKSEL_TIMER4_CLK_CLKSEL) !=
CM_DPLL_CLKSEL_TIMER4_CLK_CLKSEL_CLK_M_OSC);
