/*
*********************************************************************************************************
*
* File : OS_MPC565.H
* Created:  29 May 2002
* Author(s): Peter S
* Description: This file defines all the OS stuff specific to the MPC56X
* addapted from OS_MPC555 from Barnett System Engineering MPC555
* uC/OS-II port
*
* Ver   Date      By  Reason for change
* 1.00  06/03/02  PS  Initial release
*
*********************************************************************************************************
*/

#ifndef OS_CPU_H
#define OS_CPU_H

/* Macros */ 

#ifdef  GLOBAL_DEFINE
#define EXTERN
#else
#define EXTERN extern
#endif

/* OS_TASK_SW() is MPC5xx specific. */ 
#define OS_TASK_SW()    asm(" sc");

/* OS_ENTER_CRITICAL() is MPC5xx specific. */
#define OS_ENTER_CRITICAL() asm(" mtspr EID,r0");
   
/* OS_EXIT_CRITICAL() is MPC5xx specific. */ 
#define OS_EXIT_CRITICAL()  asm(" mtspr EIE,r0");  

/* Get Time Base value */
EXTERN  unsigned long long TimeBase;
asm void GetTimeBase (void)
{
  ! "r4"
      .global TimeBase
      mftbu r4
      stw   r4,TimeBase@sdarx(r0)
      mftb  r4
      stw   r4,(TimeBase+4)@sdarx(r0)
}

/* The set_decrementer() macro is Diab Compiler specific */ 
EXTERN unsigned int dec_init;
asm void set_decrementer (void)
{
  ! "r4"
      .global dec_init
      lwz   r4,dec_init@sdarx(r0)   ;get decrementer initial value,
      mtspr DEC,r4
}

/* Typedefs */ 
/* The following are the UCOS-II typedefs */ 
typedef unsigned char  BOOLEAN;
typedef unsigned char  INT8U;                   /* Unsigned  8 bit quantity                           */
typedef signed   char  INT8S;                   /* Signed    8 bit quantity                           */
typedef unsigned short INT16U;                  /* Unsigned 16 bit quantity                           */
typedef signed   short INT16S;                  /* Signed   16 bit quantity                           */
typedef unsigned int   INT32U;                  /* Unsigned 32 bit quantity                           */
typedef signed   int   INT32S;                  /* Signed   32 bit quantity                           */
typedef unsigned long long  INT64U;             /* Unsigned 64 bit quantity                           */
typedef signed   long long  INT64S;             /* Signed   64 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 32-bit wide                    */

/* Structure extensions for OS diagnostics */
typedef struct {
  INT32U  Ctr;
  INT32U  ExecTime;
  INT32U  MaxTime;
  INT32U  MinTime;
  INT64U  TotExecTime;
} TASK_USER_DATA;

/* Storage for extension to OS diagnostics */
EXTERN  TASK_USER_DATA  TaskUserData[64];

/* System on time structure */
typedef struct {
  INT16U Days;
  INT8U  Hours;
  INT8U  Mins;
  INT8U  Secs;
  INT16U mSecs;
} UP_TIME;

/* Constants */
#define TASK_STK_SIZE    512
#define OS_STK_GROWTH      1  /* Stack grows from HIGH to LOW memory on PPC  */
#define TMBCLKS_PER_SEC   1000000  /* TMBCLKS per second, based on 4MHz XTAL, SCCR[TBS]=0 & MODCK[1:3]=010 */

#endif /* OS_CPU_H */