/****************************************************
* $Workfile:   os_cpu.h     for SkyEye simulator    *
* $Revision:   1.0                                  *
* $Author:   Chen Yu, Li Ming                       *
* $Email:   chenyu@hpclab.cs.tsinghua.edu.cn        *
*           lmcs00@mails.tsinghua.edu.cn            *
* $Date:   Dec 17 2002 12:20:30                     *
****************************************************/

//----------------------------------------------------
// modified by YJ for S3C44B0X
// Data  : Apr. 01, 2003
//----------------------------------------------------

/*
*********************************************************************************************************
*                                               uC/OS-II
*                                        The Real-Time Kernel
*
*                        (c) Copyright 1992-1998, Jean J. Labrosse, Plantation, FL
*                                          All Rights Reserved
*                        (c) Copyright ARM Limited 1999.  All rights reserved.
*
*                                          ARM Specific code
*
* File : OS_CPU.H
*********************************************************************************************************
*/

#ifdef  OS_CPU_GLOBALS
#define OS_CPU_EXT
#else
#define OS_CPU_EXT  extern
#endif

/*
*********************************************************************************************************
*                                              DATA TYPES
*                                         (Compiler Specific)
*********************************************************************************************************
*/

typedef unsigned char  BOOLEAN;
typedef unsigned char  INT8U;                    /* Unsigned  8 bit quantity                           */
typedef signed   char  INT8S;                    /* Signed    8 bit quantity                           */



//chy 2003-01-22 int is 32bit  short is 16bit
typedef unsigned short   INT16U;                   /* Unsigned 16 bit quantity                           */
typedef signed   short   INT16S;                   /* Signed   16 bit quantity                           */

//typedef unsigned int   INT16U;                   /* Unsigned 16 bit quantity                           */
//typedef signed   int   INT16S;                   /* Signed   16 bit quantity                           */
//------------------------------------------------------------------------

typedef unsigned long  INT32U;                   /* Unsigned 32 bit quantity                           */
typedef signed   long  INT32S;                   /* Signed   32 bit quantity                           */
typedef float          FP32;                     /* Single precision floating point                    */
typedef double         FP64;                     /* Double precision floating point                    */

typedef unsigned int   OS_STK;                   /* Each stack entry is 16-bit wide                    */

#define BYTE           INT8S                     /* Define data types for backward compatibility ...   */
#define UBYTE          INT8U                     /* ... to uC/OS V1.xx.  Not actually needed for ...   */
#define WORD           INT16S                    /* ... uC/OS-II.                                      */
#define UWORD          INT16U
#define LONG           INT32S
#define ULONG          INT32U

/*
*********************************************************************************************************
*                                          Processor Specifics
*********************************************************************************************************
*/
// specifics for S3C44B0X
#define	OS_ENTER_CRITICAL()	ARMDisableInt()
#define	OS_EXIT_CRITICAL()	ARMEnableInt()

#define OS_STK_GROWTH		1		// stacks grow from high to low  

#define OS_TASK_SW			OSCtxSw


/* 
*********************************************************************************************************
*                              ARM, various architectures
*
*********************************************************************************************************
*/

// Definitions specific to ARM/uHAL
#define	SVC32MODE	0x13


// angel takes up stack 
#define SEMIHOSTED_STACK_NEEDS 1024

// idle task stack size (words) 
#ifdef SEMIHOSTED
#define OS_IDLE_STK_SIZE        (32+SEMIHOSTED_STACK_NEEDS)
#else
#define OS_IDLE_STK_SIZE        32
#endif

// defined in os_cpu_a.s 
extern void OSCtxSw(void);           // task switch routine
extern void OSIntCtxSw(void);           // interrupt context switch
extern void ARMDisableInt(void);        // disable global interrupts
extern void ARMEnableInt(void);         // enable global interrupts
extern void OSTickISR(void);		// timer interrupt routine