I needed to use all of RTI TMS470, so I started to read the ARM documentation and tried to use the SysTick, that in the datasheet of the micro I have not found and in fact there is (in Cortex Core) another undocumented timer from TI. Below you find the code of the core peripheral:
typedef volatile struct SysTick
{
uint32_t STCTRL;
uint32_t STRELOAD;
uint32_t STCURR;
uint32_t STCALIB;
} SysTick_t;
#define SysTickREG ((SysTick_t *) 0xE000E010)
Link to the documentation:
infocenter.arm.com/.../index.jsp
I don't know if there are particular reasons for don't use it.
Kind Regards
Riccardo capponi