/**********************************************************************************
 * mk_sys.h                                                                         
 * coded by hspark@ce.cnu.ac.kr
 * date : 2002/06/23
 **********************************************************************************/

#ifndef __MK_SYS_H__
#define __MK_SYS_H__

#include "kernel\\mk_conf.h"
#include "kernel\\mk_defs.h"

#define	MK_SVC32MODE		0x13

//#define MK_MEM_SIZE			100000	/* 0.5MByte */
//#define MK_MEM_SIZE			40480	/* 0.5MByte */  //4048 *10 new one brahma 
//#define MK_MEM_SIZE			0x19000//42000	/* 0.5MByte */  //4048 *10 new one brahma 
//扁糧巴 
//#define MK_MEM_SIZE			0x10000 		/* KBA : Changed from 0x13000 to 0x10000 */
//#define MK_MEM_SIZE			0xD000 		//52 Kbytes/* KBA : Changed from 0x13000 to 0x10000 */
//#define MK_MEM_SIZE			0xB800 		//46Kbytes/* PHK 620 */
                                                                              //TASK , HISR , MALLOC 
#define MK_MEM_SIZE			0x8000		/* KBA : 32K is enough */

typedef enum {
	MK_SYSTEM_INFO,
	MK_TASK_INFO,
	MK_TASK_WARNING,
	MK_TASK_ERROR,
	MK_TASK_CRITICAL
}LOGLEVEL;

/*-----------------------------------------------------------------
 * API Function
 *-----------------------------------------------------------------*/
INT MK_InterruptDisable(VOID);
VOID MK_InterruptRestore(INT);
INT MK_InterruptEnable(VOID);
INT MK_GetFlags(VOID);
int MK_LocalControlInterrupt(int Flags);	

/*-----------------------------------------------------------------
 * Internal Function
 *-----------------------------------------------------------------*/
VOID MK_SystemInitialize(VOID);
VOID MK_RTOSInitialize(VOID);
VOID Main(VOID *first_available_memory);
//VOID Application_Initialize(VOID *first_available_memory);  扁糧巴 
VOID Application_Initialize(VOID *first_available_memory, unsigned long nSize);
//from hs park 

VOID MK_InfoPrintf(LOGLEVEL ErrorInfo, CHAR *, ...);
VOID MK_Printf(CHAR *, ...);
INT MK_Sprintf(CHAR *pAddr, CHAR *, ...);
VOID MK_Panic(CHAR *fmt, ...);
VOID MK_Puts(const CHAR *s);

#if MK_DEBUG_PRINT
	#define MK_KernelInfoPrintf(a)	MK_InfoPrintf a
	#define MK_KernelPrintf(a)		MK_Printf a
	#define	MK_KernelPanic(a)		MK_Panic a
#else
	#define MK_KernelInfoPrintf(a)	((void)0)	
	#define MK_KernelPrintf(a)		((void)0)
	#define MK_KernelPanic(a)		((void)0)
#endif

VOID SWIHandler_Test(VOID);
VOID IRQHandler_Test(VOID);
VOID Undefined_Handler_Test(VOID);
VOID Prefetch_Handler_Test(VOID);
VOID Abort_Handler_Test(VOID);
VOID Reserved_Handler_Test(VOID);

#endif /* __MK_SYS_H__ */