/* Perform any hardware configuration necessary to generate the tick interrupt.  */
static void prvSetupTimerInterrupt(void)
/* Perform any hardware configuration necessary to generate the tick interrupt.  */
static void prvSetupTimerInterrupt(void)
{
	counter1->reload = ( configCPU_CLOCK_HZ / configTICK_RATE_HZ ) - 1;
	counter1->value = counter1->reload;
	counter1->mask = 1;
	irq[ IRQ_COUNTER1 ].ien = 1;
}