41 #ifndef __DRIVERLIB_RTOS_BINDINGS_H__
42 #define __DRIVERLIB_RTOS_BINDINGS_H__
57 #include "tiva_rtos.h"
86 #define OS_DELAY(ul3Cycles) MAP_SysCtlDelay(ul3Cycles)
101 #define OS_INT_MASTER_ENABLE() MAP_IntMasterEnable()
102 #define OS_INT_MASTER_DISABLE() MAP_IntMasterDisable()
103 #define OS_INT_DISABLE(ui32IntID) MAP_IntDisable(ui32IntID)
104 #define OS_INT_ENABLE(ui32IntID) MAP_IntEnable(ui32IntID)
108 #endif // __DRIVERLIB_RTOS_BINDINGS_H__