2 FreeRTOS V7.0.1 - Copyright (C) 2011 Real Time Engineers Ltd.
\r
5 ***************************************************************************
\r
7 * FreeRTOS tutorial books are available in pdf and paperback. *
\r
8 * Complete, revised, and edited pdf reference manuals are also *
\r
11 * Purchasing FreeRTOS documentation will not only help you, by *
\r
12 * ensuring you get running as quickly as possible and with an *
\r
13 * in-depth knowledge of how to use FreeRTOS, it will also help *
\r
14 * the FreeRTOS project to continue with its mission of providing *
\r
15 * professional grade, cross platform, de facto standard solutions *
\r
16 * for microcontrollers - completely free of charge! *
\r
18 * >>> See http://www.FreeRTOS.org/Documentation for details. <<< *
\r
20 * Thank you for using FreeRTOS, and thank you for your support! *
\r
22 ***************************************************************************
\r
25 This file is part of the FreeRTOS distribution.
\r
27 FreeRTOS is free software; you can redistribute it and/or modify it under
\r
28 the terms of the GNU General Public License (version 2) as published by the
\r
29 Free Software Foundation AND MODIFIED BY the FreeRTOS exception.
\r
30 >>>NOTE<<< The modification to the GPL is included to allow you to
\r
31 distribute a combined work that includes FreeRTOS without being obliged to
\r
32 provide the source code for proprietary components outside of the FreeRTOS
\r
33 kernel. FreeRTOS is distributed in the hope that it will be useful, but
\r
34 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
\r
35 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
\r
36 more details. You should have received a copy of the GNU General Public
\r
37 License and the FreeRTOS license exception along with FreeRTOS; if not it
\r
38 can be viewed here: http://www.freertos.org/a00114.html and also obtained
\r
39 by writing to Richard Barry, contact details for whom are available on the
\r
44 http://www.FreeRTOS.org - Documentation, latest information, license and
\r
47 http://www.SafeRTOS.com - A version that is certified for use in safety
\r
50 http://www.OpenRTOS.com - Commercial support, development, porting,
\r
51 licensing and training services.
\r
62 #include <mb_interface.h>
\r
63 #include <xparameters.h>
\r
65 /*-----------------------------------------------------------
\r
66 * Port specific definitions.
\r
68 * The settings in this file configure FreeRTOS correctly for the
\r
69 * given hardware and compiler.
\r
71 * These settings should not be altered.
\r
72 *-----------------------------------------------------------
\r
75 /* Type definitions. */
\r
76 #define portCHAR char
\r
77 #define portFLOAT float
\r
78 #define portDOUBLE double
\r
79 #define portLONG long
\r
80 #define portSHORT short
\r
81 #define portSTACK_TYPE unsigned portLONG
\r
82 #define portBASE_TYPE portLONG
\r
84 #if( configUSE_16_BIT_TICKS == 1 )
\r
85 typedef unsigned portSHORT portTickType;
\r
86 #define portMAX_DELAY ( portTickType ) 0xffff
\r
88 typedef unsigned portLONG portTickType;
\r
89 #define portMAX_DELAY ( portTickType ) 0xffffffff
\r
91 /*-----------------------------------------------------------*/
\r
93 /* Interrupt control macros and functions. */
\r
94 void microblaze_disable_interrupts( void );
\r
95 void microblaze_enable_interrupts( void );
\r
96 #define portDISABLE_INTERRUPTS() microblaze_disable_interrupts()
\r
97 #define portENABLE_INTERRUPTS() microblaze_enable_interrupts()
\r
99 portBASE_TYPE xPortInstallInterruptHandler( unsigned char ucInterruptID, XInterruptHandler pxHandler, void *pvCallBackRef );
\r
100 void vPortEnableInterrupt( unsigned char ucInterruptID );
\r
101 void vPortDisableInterrupt( unsigned char ucInterruptID );
\r
103 /*-----------------------------------------------------------*/
\r
105 /* Critical section macros. */
\r
106 void vPortEnterCritical( void );
\r
107 void vPortExitCritical( void );
\r
108 #define portENTER_CRITICAL() { \
\r
109 extern volatile unsigned portBASE_TYPE uxCriticalNesting; \
\r
110 microblaze_disable_interrupts(); \
\r
111 uxCriticalNesting++; \
\r
114 #define portEXIT_CRITICAL() { \
\r
115 extern volatile unsigned portBASE_TYPE uxCriticalNesting; \
\r
116 /* Interrupts are disabled, so we can */ \
\r
117 /* access the variable directly. */ \
\r
118 uxCriticalNesting--; \
\r
119 if( uxCriticalNesting == 0 ) \
\r
121 /* The nesting has unwound and we \
\r
122 can enable interrupts again. */ \
\r
123 portENABLE_INTERRUPTS(); \
\r
127 /*-----------------------------------------------------------*/
\r
129 /* Task utilities. */
\r
130 void vPortYield( void );
\r
131 #define portYIELD() vPortYield()
\r
133 void vTaskSwitchContext();
\r
134 extern volatile unsigned long ulTaskSwitchRequested;
\r
135 #define portYIELD_FROM_ISR( x ) if( x != pdFALSE ) ulTaskSwitchRequested = 1
\r
136 /*-----------------------------------------------------------*/
\r
138 /* Hardware specifics. */
\r
139 #define portBYTE_ALIGNMENT 4
\r
140 #define portSTACK_GROWTH ( -1 )
\r
141 #define portTICK_RATE_MS ( ( portTickType ) 1000 / configTICK_RATE_HZ )
\r
142 #define portNOP() asm volatile ( "NOP" )
\r
143 /*-----------------------------------------------------------*/
\r
145 /* Task function macros as described on the FreeRTOS.org WEB site. */
\r
146 #define portTASK_FUNCTION_PROTO( vFunction, pvParameters ) void vFunction( void *pvParameters )
\r
147 #define portTASK_FUNCTION( vFunction, pvParameters ) void vFunction( void *pvParameters )
\r
153 #endif /* PORTMACRO_H */
\r