Daiki Kato / mbed-os-lychee

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependents:   mbed-os-example-blinky-gr-lychee GR-Boads_Camera_sample GR-Boards_Audio_Recoder GR-Boads_Camera_DisplayApp ... more

rtos/rtx/TARGET_CORTEX_A/rt_TypeDef.h@0:f782d9c66c49, 2018-02-02 (annotated)

Committer:
dkato
Date:
Fri Feb 02 05:42:23 2018 +0000
Revision:
0:f782d9c66c49
mbed-os for GR-LYCHEE

Who changed what in which revision?

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