/* Sets up the periodic ISR used for the RTOS tick.  */
static void prvSetupTimerInterrupt(void)
/* Sets up the periodic ISR used for the RTOS tick.  */
static void prvSetupTimerInterrupt(void)
{
	TAU0EN = 1;
	TT0 = 0xff;
	TMMK05 = 1;	TMIF05 = 0;
	TMPR005 = 0;
	TMPR105 = 0;
	TMR05 = 0x0000;
	TDR05 = ( TickType_t ) ( configCPU_CLOCK_HZ / configTICK_RATE_HZ );
	TOM0 &= ~0x0020;	TOL0 &= ~0x0020;	TOE0 &= ~0x0020;
	TMMK05 = 0;
	TS0 |= 0x0020;
}