Control Register (CTL) is 0x200 instead of 0x0
You said output of TIMER_getCount should be multiplied by 8. Is it because you set Input Clock Source(CLKSRC) to (CPU clock)/8? Can i use the default value "External Source"?
I think the timer device has been reset by TIMER_open(TIMER_DEV1, TIMER_OPEN_RESET )
The 2nd parameter TIMER_OPEN_RESET does it.
Note: forwarded message attached.