Clone of mbed rtos 2 for easy accessibility.
Fork of mbed-rtos by
rtx/TARGET_CORTEX_M/rt_TypeDef.h@118:6635230e06ba, 2016-07-25 (annotated)
- Committer:
- Kojto
- Date:
- Mon Jul 25 14:12:24 2016 +0100
- Revision:
- 118:6635230e06ba
- Parent:
- 112:53ace74b190c
- Child:
- 123:58563e6cba1e
RTOS rev118
Compatible with the mbed library v122
Changes:
- warnings about duplicated CM symbols fix
- init sequence update - allows init array to be run prior kernel start
- RTOS with OS_TIMERS=0 fix for thread id
- Thread ctor is deprecated, use start() method
- main stack fix for IAR (set via linker script)
- add TCB context pointer
- provide thread safety for toolchains (std lib locks)
- add MBED_RTOS_SINGLE_THREAD macro (sets TSKCNT to 1 and TIMERS to 0)
- nrf51, nucleo l423kc, nucleo f767zi, nucleo f446ze, efm32 support addition
- add OSObserver function
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
mbed_official | 49:77c8e4604045 | 1 | /*---------------------------------------------------------------------------- |
mbed_official | 112:53ace74b190c | 2 | * CMSIS-RTOS - RTX |
mbed_official | 49:77c8e4604045 | 3 | *---------------------------------------------------------------------------- |
mbed_official | 49:77c8e4604045 | 4 | * Name: RT_TYPEDEF.H |
mbed_official | 49:77c8e4604045 | 5 | * Purpose: Type Definitions |
mbed_official | 112:53ace74b190c | 6 | * Rev.: V4.79 |
mbed_official | 49:77c8e4604045 | 7 | *---------------------------------------------------------------------------- |
mbed_official | 49:77c8e4604045 | 8 | * |
mbed_official | 112:53ace74b190c | 9 | * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH |
mbed_official | 49:77c8e4604045 | 10 | * All rights reserved. |
mbed_official | 49:77c8e4604045 | 11 | * Redistribution and use in source and binary forms, with or without |
mbed_official | 49:77c8e4604045 | 12 | * modification, are permitted provided that the following conditions are met: |
mbed_official | 49:77c8e4604045 | 13 | * - Redistributions of source code must retain the above copyright |
mbed_official | 49:77c8e4604045 | 14 | * notice, this list of conditions and the following disclaimer. |
mbed_official | 49:77c8e4604045 | 15 | * - Redistributions in binary form must reproduce the above copyright |
mbed_official | 49:77c8e4604045 | 16 | * notice, this list of conditions and the following disclaimer in the |
mbed_official | 49:77c8e4604045 | 17 | * documentation and/or other materials provided with the distribution. |
mbed_official | 49:77c8e4604045 | 18 | * - Neither the name of ARM nor the names of its contributors may be used |
mbed_official | 49:77c8e4604045 | 19 | * to endorse or promote products derived from this software without |
mbed_official | 49:77c8e4604045 | 20 | * specific prior written permission. |
mbed_official | 49:77c8e4604045 | 21 | * |
mbed_official | 49:77c8e4604045 | 22 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
mbed_official | 49:77c8e4604045 | 23 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
mbed_official | 49:77c8e4604045 | 24 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
mbed_official | 49:77c8e4604045 | 25 | * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE |
mbed_official | 49:77c8e4604045 | 26 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
mbed_official | 49:77c8e4604045 | 27 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
mbed_official | 49:77c8e4604045 | 28 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
mbed_official | 49:77c8e4604045 | 29 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
mbed_official | 49:77c8e4604045 | 30 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
mbed_official | 49:77c8e4604045 | 31 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
mbed_official | 49:77c8e4604045 | 32 | * POSSIBILITY OF SUCH DAMAGE. |
mbed_official | 49:77c8e4604045 | 33 | *---------------------------------------------------------------------------*/ |
mbed_official | 49:77c8e4604045 | 34 | #ifndef RT_TYPE_DEF_H |
mbed_official | 49:77c8e4604045 | 35 | #define RT_TYPE_DEF_H |
mbed_official | 49:77c8e4604045 | 36 | |
mbed_official | 112:53ace74b190c | 37 | /* Types */ |
mbed_official | 112:53ace74b190c | 38 | typedef char S8; |
mbed_official | 112:53ace74b190c | 39 | typedef unsigned char U8; |
mbed_official | 112:53ace74b190c | 40 | typedef short S16; |
mbed_official | 112:53ace74b190c | 41 | typedef unsigned short U16; |
mbed_official | 112:53ace74b190c | 42 | typedef int S32; |
mbed_official | 112:53ace74b190c | 43 | typedef unsigned int U32; |
mbed_official | 112:53ace74b190c | 44 | typedef long long S64; |
mbed_official | 112:53ace74b190c | 45 | typedef unsigned long long U64; |
mbed_official | 112:53ace74b190c | 46 | typedef unsigned char BIT; |
mbed_official | 112:53ace74b190c | 47 | typedef unsigned int BOOL; |
mbed_official | 112:53ace74b190c | 48 | typedef void (*FUNCP)(void); |
mbed_official | 49:77c8e4604045 | 49 | |
mbed_official | 49:77c8e4604045 | 50 | typedef U32 OS_TID; |
mbed_official | 49:77c8e4604045 | 51 | typedef void *OS_ID; |
mbed_official | 49:77c8e4604045 | 52 | typedef U32 OS_RESULT; |
mbed_official | 49:77c8e4604045 | 53 | |
mbed_official | 112:53ace74b190c | 54 | typedef struct OS_TCB { |
mbed_official | 112:53ace74b190c | 55 | /* General part: identical for all implementations. */ |
mbed_official | 112:53ace74b190c | 56 | U8 cb_type; /* Control Block Type */ |
mbed_official | 112:53ace74b190c | 57 | U8 state; /* Task state */ |
mbed_official | 112:53ace74b190c | 58 | U8 prio; /* Execution priority */ |
mbed_official | 112:53ace74b190c | 59 | U8 task_id; /* Task ID value for optimized TCB access */ |
mbed_official | 112:53ace74b190c | 60 | struct OS_TCB *p_lnk; /* Link pointer for ready/sem. wait list */ |
mbed_official | 112:53ace74b190c | 61 | struct OS_TCB *p_rlnk; /* Link pointer for sem./mbx lst backwards */ |
mbed_official | 112:53ace74b190c | 62 | struct OS_TCB *p_dlnk; /* Link pointer for delay list */ |
mbed_official | 112:53ace74b190c | 63 | struct OS_TCB *p_blnk; /* Link pointer for delay list backwards */ |
mbed_official | 112:53ace74b190c | 64 | U16 delta_time; /* Time until time out */ |
mbed_official | 112:53ace74b190c | 65 | U16 interval_time; /* Time interval for periodic waits */ |
mbed_official | 112:53ace74b190c | 66 | U16 events; /* Event flags */ |
mbed_official | 112:53ace74b190c | 67 | U16 waits; /* Wait flags */ |
mbed_official | 112:53ace74b190c | 68 | void **msg; /* Direct message passing when task waits */ |
mbed_official | 112:53ace74b190c | 69 | struct OS_MUCB *p_mlnk; /* Link pointer for mutex owner list */ |
mbed_official | 112:53ace74b190c | 70 | U8 prio_base; /* Base priority */ |
mbed_official | 112:53ace74b190c | 71 | |
mbed_official | 112:53ace74b190c | 72 | /* Hardware dependant part: specific for CM processor */ |
mbed_official | 112:53ace74b190c | 73 | U8 stack_frame; /* Stack frame: 0=Basic, 1=Extended, */ |
mbed_official | 112:53ace74b190c | 74 | U16 reserved; /* Two reserved bytes for alignment */ |
mbed_official | 112:53ace74b190c | 75 | /* (2=VFP/D16 stacked, 4=NEON/D32 stacked) */ |
mbed_official | 112:53ace74b190c | 76 | U32 priv_stack; /* Private stack size, 0= system assigned */ |
mbed_official | 112:53ace74b190c | 77 | U32 tsk_stack; /* Current task Stack pointer (R13) */ |
mbed_official | 112:53ace74b190c | 78 | U32 *stack; /* Pointer to Task Stack memory block */ |
mbed_official | 112:53ace74b190c | 79 | |
mbed_official | 112:53ace74b190c | 80 | /* Task entry point used for uVision debugger */ |
mbed_official | 112:53ace74b190c | 81 | FUNCP ptask; /* Task entry address */ |
Kojto | 118:6635230e06ba | 82 | void *context; /* Pointer to thread context */ |
mbed_official | 112:53ace74b190c | 83 | } *P_TCB; |
mbed_official | 112:53ace74b190c | 84 | #define TCB_STACKF 37 /* 'stack_frame' offset */ |
mbed_official | 112:53ace74b190c | 85 | #define TCB_TSTACK 44 /* 'tsk_stack' offset */ |
mbed_official | 49:77c8e4604045 | 86 | |
mbed_official | 49:77c8e4604045 | 87 | typedef struct OS_PSFE { /* Post Service Fifo Entry */ |
mbed_official | 49:77c8e4604045 | 88 | void *id; /* Object Identification */ |
mbed_official | 49:77c8e4604045 | 89 | U32 arg; /* Object Argument */ |
mbed_official | 49:77c8e4604045 | 90 | } *P_PSFE; |
mbed_official | 49:77c8e4604045 | 91 | |
mbed_official | 49:77c8e4604045 | 92 | typedef struct OS_PSQ { /* Post Service Queue */ |
mbed_official | 49:77c8e4604045 | 93 | U8 first; /* FIFO Head Index */ |
mbed_official | 49:77c8e4604045 | 94 | U8 last; /* FIFO Tail Index */ |
mbed_official | 49:77c8e4604045 | 95 | U8 count; /* Number of stored items in FIFO */ |
mbed_official | 49:77c8e4604045 | 96 | U8 size; /* FIFO Size */ |
mbed_official | 49:77c8e4604045 | 97 | struct OS_PSFE q[1]; /* FIFO Content */ |
mbed_official | 49:77c8e4604045 | 98 | } *P_PSQ; |
mbed_official | 49:77c8e4604045 | 99 | |
mbed_official | 49:77c8e4604045 | 100 | typedef struct OS_TSK { |
mbed_official | 49:77c8e4604045 | 101 | P_TCB run; /* Current running task */ |
mbed_official | 112:53ace74b190c | 102 | P_TCB new_tsk; /* Scheduled task to run */ |
mbed_official | 49:77c8e4604045 | 103 | } *P_TSK; |
mbed_official | 49:77c8e4604045 | 104 | |
mbed_official | 49:77c8e4604045 | 105 | typedef struct OS_ROBIN { /* Round Robin Control */ |
mbed_official | 49:77c8e4604045 | 106 | P_TCB task; /* Round Robin task */ |
mbed_official | 49:77c8e4604045 | 107 | U16 time; /* Round Robin switch time */ |
mbed_official | 49:77c8e4604045 | 108 | U16 tout; /* Round Robin timeout */ |
mbed_official | 49:77c8e4604045 | 109 | } *P_ROBIN; |
mbed_official | 49:77c8e4604045 | 110 | |
mbed_official | 49:77c8e4604045 | 111 | typedef struct OS_XCB { |
mbed_official | 49:77c8e4604045 | 112 | U8 cb_type; /* Control Block Type */ |
mbed_official | 49:77c8e4604045 | 113 | struct OS_TCB *p_lnk; /* Link pointer for ready/sem. wait list */ |
mbed_official | 49:77c8e4604045 | 114 | struct OS_TCB *p_rlnk; /* Link pointer for sem./mbx lst backwards */ |
mbed_official | 49:77c8e4604045 | 115 | struct OS_TCB *p_dlnk; /* Link pointer for delay list */ |
mbed_official | 49:77c8e4604045 | 116 | struct OS_TCB *p_blnk; /* Link pointer for delay list backwards */ |
mbed_official | 49:77c8e4604045 | 117 | U16 delta_time; /* Time until time out */ |
mbed_official | 49:77c8e4604045 | 118 | } *P_XCB; |
mbed_official | 49:77c8e4604045 | 119 | |
mbed_official | 49:77c8e4604045 | 120 | typedef struct OS_MCB { |
mbed_official | 49:77c8e4604045 | 121 | U8 cb_type; /* Control Block Type */ |
mbed_official | 49:77c8e4604045 | 122 | U8 state; /* State flag variable */ |
mbed_official | 49:77c8e4604045 | 123 | U8 isr_st; /* State flag variable for isr functions */ |
mbed_official | 49:77c8e4604045 | 124 | struct OS_TCB *p_lnk; /* Chain of tasks waiting for message */ |
mbed_official | 49:77c8e4604045 | 125 | U16 first; /* Index of the message list begin */ |
mbed_official | 49:77c8e4604045 | 126 | U16 last; /* Index of the message list end */ |
mbed_official | 49:77c8e4604045 | 127 | U16 count; /* Actual number of stored messages */ |
mbed_official | 49:77c8e4604045 | 128 | U16 size; /* Maximum number of stored messages */ |
mbed_official | 49:77c8e4604045 | 129 | void *msg[1]; /* FIFO for Message pointers 1st element */ |
mbed_official | 49:77c8e4604045 | 130 | } *P_MCB; |
mbed_official | 49:77c8e4604045 | 131 | |
mbed_official | 49:77c8e4604045 | 132 | typedef struct OS_SCB { |
mbed_official | 49:77c8e4604045 | 133 | U8 cb_type; /* Control Block Type */ |
mbed_official | 49:77c8e4604045 | 134 | U8 mask; /* Semaphore token mask */ |
mbed_official | 49:77c8e4604045 | 135 | U16 tokens; /* Semaphore tokens */ |
mbed_official | 49:77c8e4604045 | 136 | struct OS_TCB *p_lnk; /* Chain of tasks waiting for tokens */ |
mbed_official | 49:77c8e4604045 | 137 | } *P_SCB; |
mbed_official | 49:77c8e4604045 | 138 | |
mbed_official | 49:77c8e4604045 | 139 | typedef struct OS_MUCB { |
mbed_official | 49:77c8e4604045 | 140 | U8 cb_type; /* Control Block Type */ |
mbed_official | 49:77c8e4604045 | 141 | U16 level; /* Call nesting level */ |
mbed_official | 49:77c8e4604045 | 142 | struct OS_TCB *p_lnk; /* Chain of tasks waiting for mutex */ |
mbed_official | 49:77c8e4604045 | 143 | struct OS_TCB *owner; /* Mutex owner task */ |
mbed_official | 112:53ace74b190c | 144 | struct OS_MUCB *p_mlnk; /* Chain of mutexes by owner task */ |
mbed_official | 49:77c8e4604045 | 145 | } *P_MUCB; |
mbed_official | 49:77c8e4604045 | 146 | |
mbed_official | 49:77c8e4604045 | 147 | typedef struct OS_XTMR { |
mbed_official | 49:77c8e4604045 | 148 | struct OS_TMR *next; |
mbed_official | 49:77c8e4604045 | 149 | U16 tcnt; |
mbed_official | 49:77c8e4604045 | 150 | } *P_XTMR; |
mbed_official | 49:77c8e4604045 | 151 | |
mbed_official | 49:77c8e4604045 | 152 | typedef struct OS_TMR { |
mbed_official | 49:77c8e4604045 | 153 | struct OS_TMR *next; /* Link pointer to Next timer */ |
mbed_official | 49:77c8e4604045 | 154 | U16 tcnt; /* Timer delay count */ |
mbed_official | 49:77c8e4604045 | 155 | U16 info; /* User defined call info */ |
mbed_official | 49:77c8e4604045 | 156 | } *P_TMR; |
mbed_official | 49:77c8e4604045 | 157 | |
mbed_official | 49:77c8e4604045 | 158 | typedef struct OS_BM { |
mbed_official | 49:77c8e4604045 | 159 | void *free; /* Pointer to first free memory block */ |
mbed_official | 49:77c8e4604045 | 160 | void *end; /* Pointer to memory block end */ |
mbed_official | 49:77c8e4604045 | 161 | U32 blk_size; /* Memory block size */ |
mbed_official | 49:77c8e4604045 | 162 | } *P_BM; |
mbed_official | 49:77c8e4604045 | 163 | |
mbed_official | 49:77c8e4604045 | 164 | /* Definitions */ |
mbed_official | 112:53ace74b190c | 165 | #define __TRUE 1U |
mbed_official | 112:53ace74b190c | 166 | #define __FALSE 0U |
mbed_official | 49:77c8e4604045 | 167 | #define NULL ((void *) 0) |
mbed_official | 49:77c8e4604045 | 168 | |
mbed_official | 49:77c8e4604045 | 169 | #endif |