mbed official / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

rtx/TARGET_CORTEX_M/rt_TypeDef.h@121:3da5f554d8bf, 2016-09-01 (annotated)

Committer:
<>
Date:
Thu Sep 01 15:13:42 2016 +0100
Revision:
121:3da5f554d8bf
Parent:
118:6635230e06ba
Child:
123:58563e6cba1e
RTOS rev121



Compatible with the mbed library v125



Changes:

- K64F: Revert to hardcoded stack pointer in RTX.

- Adding NCS36510 support.

- Add MAX32620 target support.

- Fix implicit declaration of function 'atexit'.

Who changed what in which revision?

UserRevisionLine numberNew 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