/* 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)
{
const unsigned short usClockHz = 15000UL;
const unsigned short usCompareMatch = ( usClockHz / configTICK_RATE_HZ ) + 1UL;
	OSMC = 0x16U;
	RTCEN = 1U;
	ITMC = 0x0000;
	ITMK = 1U;
	ITPR1 = 1U;
	ITPR0 = 1U;
	ITMC = usCompareMatch;
	ITIF = 0U;
	ITMK = 0U;
	ITMC |= 0x8000;
}