os_armaux.h

NXP LPC ARMThumb port for uCOS-II

/*
*********************************************************************************************************
*                                                uC/OS
*                                        The Real-Time Kernel
*
*                       (c) Copyright 1992, 1993, Jean J. Labrosse, Plantation, FL
*                                          All Rights Reserved
*
*                                          ARM Specific code
*
* File : os_armaux.h 
* By   : Lee Dunbar
*********************************************************************************************************
*/

/*
*********************************************************************************************************
*                                              FUNCTIONS
*********************************************************************************************************
*/

#ifndef OS_ARMAUX_INCLUDE 
#define OS_ARMAUX_INCLUDE                   

#ifdef __HIGHC__
#pragma On(NoDebug)
#endif /* __HIGHC__ */


extern "C" 
{
    /* Interface to ARM assembly language files */
    void   OSIrqContextSwap(void);
    void   OS_TASK_SW(void);
    void   OSStartHighRdy(void);
    INT32U OS_ENTER_CRITICAL(void);
    void   OS_EXIT_CRITICAL( INT32U CPSR );
}

#ifdef __HIGHC__
#pragma Pop(NoDebug)
#endif /* __HIGHC__ */

#endif