/*************************************************************************
*                           Point RTOS(51)                               *
*                 The Real-Time Kernel(For Keil c51)                     *
*                                                                        *
*                     (c) Copyright 2005, PenGH                          *
*                         All Rights Reserved                            *
*                                                                        *
*                               V0.09.1                                  *
*                                                                        *
*        File :  OS_CPU.H                                                *
*      Author :  彭光紅                                                  *
*     History :  
*                2005/08  By PenGH
*************************************************************************/


/*----------------------------------------------------------------------*/

#ifndef _HEAD_OS_CPU_C_
  #define _HEAD_OS_CPU_C_

/*定義為移植而進行的目標系統無關數據類型*/
typedef unsigned char  UINT8; 
typedef signed   char  INT8;  
typedef unsigned int   UINT16;
typedef signed   int   INT16; 
typedef unsigned long  UINT32;
typedef signed   long  INT32; 

#ifndef NULL
  #define NULL 0
#endif

#ifdef __IN_OS_CPU_C__
  #define  OS_CPU_EXT
#else
  #define  OS_CPU_EXT extern
#endif

OS_CPU_EXT void OSCPUInit(void) small;
OS_CPU_EXT void OSTaskStkInit(void (code * task)(void), \
                              void xdata *ptos, UINT8 TaskID);
OS_CPU_EXT void OSTaskStkDel(UINT8 TaskID) small;
OS_CPU_EXT void TaskIdle(void)   small;

#define  OS_TASK_SW()         OSCtxSw()               /*  任務切換函數  */

#define  IDATA_RAM_SIZE       0x100                 /*  CPU內部RAM大小  */

OS_CPU_EXT void OSCtxSw(void);

#define OS_TIME_ISR     1                    /*  系統定時器使用的中斷  */
       
#endif

/* The end of file */