1 |
4 |
toni32 |
/*
|
2 |
|
|
FreeRTOS.org V4.2.0 - Copyright (C) 2003-2007 Richard Barry.
|
3 |
|
|
|
4 |
|
|
This file is part of the FreeRTOS.org distribution.
|
5 |
|
|
|
6 |
|
|
FreeRTOS.org is free software; you can redistribute it and/or modify
|
7 |
|
|
it under the terms of the GNU General Public License as published by
|
8 |
|
|
the Free Software Foundation; either version 2 of the License, or
|
9 |
|
|
(at your option) any later version.
|
10 |
|
|
|
11 |
|
|
FreeRTOS.org is distributed in the hope that it will be useful,
|
12 |
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
14 |
|
|
GNU General Public License for more details.
|
15 |
|
|
|
16 |
|
|
You should have received a copy of the GNU General Public License
|
17 |
|
|
along with FreeRTOS.org; if not, write to the Free Software
|
18 |
|
|
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
19 |
|
|
|
20 |
|
|
A special exception to the GPL can be applied should you wish to distribute
|
21 |
|
|
a combined work that includes FreeRTOS.org, without being obliged to provide
|
22 |
|
|
the source code for any proprietary components. See the licensing section
|
23 |
|
|
of http:www.FreeRTOS.org for full details of how and when the exception
|
24 |
|
|
can be applied.
|
25 |
|
|
|
26 |
|
|
***************************************************************************
|
27 |
|
|
See http:www.FreeRTOS.org for documentation, latest information, license
|
28 |
|
|
and contact details. Please ensure to read the configuration and relevant
|
29 |
|
|
port sections of the online documentation.
|
30 |
|
|
***************************************************************************
|
31 |
|
|
*/
|
32 |
|
|
|
33 |
|
|
/*-----------------------------------------------------------
|
34 |
|
|
* Portable layer API. Each function must be defined for each port.
|
35 |
|
|
*----------------------------------------------------------*/
|
36 |
|
|
|
37 |
|
|
#ifndef PORTABLE_H
|
38 |
|
|
#define PORTABLE_H
|
39 |
|
|
|
40 |
|
|
/* Include the macro file relevant to the port being used. */
|
41 |
|
|
#include "portmacro.h"
|
42 |
|
|
|
43 |
|
|
/*
|
44 |
|
|
* Setup the stack of a new task so it is ready to be placed under the
|
45 |
|
|
* scheduler control. The registers have to be placed on the stack in
|
46 |
|
|
* the order that the port expects to find them.
|
47 |
|
|
*/
|
48 |
|
|
portSTACK_TYPE *pxPortInitialiseStack( portSTACK_TYPE *pxTopOfStack, pdTASK_CODE pxCode, void *pvParameters );
|
49 |
|
|
|
50 |
|
|
/*
|
51 |
|
|
* Map to the memory management routines required for the port.
|
52 |
|
|
*/
|
53 |
|
|
void *pvPortMalloc( size_t xSize );
|
54 |
|
|
void vPortFree( void *pv );
|
55 |
|
|
void vPortInitialiseBlocks( void );
|
56 |
|
|
|
57 |
|
|
/*
|
58 |
|
|
* Setup the hardware ready for the scheduler to take control. This generally
|
59 |
|
|
* sets up a tick interrupt and sets timers for the correct tick frequency.
|
60 |
|
|
*/
|
61 |
|
|
portBASE_TYPE xPortStartScheduler( void );
|
62 |
|
|
|
63 |
|
|
/*
|
64 |
|
|
* Undo any hardware/ISR setup that was performed by xPortStartScheduler() so
|
65 |
|
|
* the hardware is left in its original condition after the scheduler stops
|
66 |
|
|
* executing.
|
67 |
|
|
*/
|
68 |
|
|
void vPortEndScheduler( void );
|
69 |
|
|
|
70 |
|
|
|
71 |
|
|
#endif /* PORTABLE_H */
|
72 |
|
|
|