#include "Include/Sys_Global.h"

void InitTimer(void)
{

	*P_CKG_CFG_TIMER0 = 0x00000000;
	*P_CKG_CFG_TIMER0 = 0x00000003;
	*P_CKG_SEL_TIMER = 0x00000003;
	
	*P_TM0_PRELOAD = 0x6fff; // set timer cycle
	*P_TM0_CCP_CTRL = TIMER_CPPNOR; // normal mode
	*P_TM0_CTRL = TIMER_ON | TIMER_IRQ_ON | TIMER_IRQ_CLR;
}

U16 Sys_Random(U16 mask)
{
	U32 temp;

	temp = *P_TM0_UPCNT;
	temp = temp % mask;
	return (U16)temp;
}