Daniel Vizcaya / Mbed OS 04_RTOS_Embebidos
Committer:
Bethory
Date:
Wed May 30 00:01:50 2018 +0000
Revision:
0:6ad07c9019fd
Codigo de tales para todos los pasculaes

Who changed what in which revision?

UserRevisionLine numberNew contents of line
Bethory 0:6ad07c9019fd 1 /*
Bethory 0:6ad07c9019fd 2 * Copyright (c) 2016, ARM Limited, All Rights Reserved
Bethory 0:6ad07c9019fd 3 * SPDX-License-Identifier: Apache-2.0
Bethory 0:6ad07c9019fd 4 *
Bethory 0:6ad07c9019fd 5 * Licensed under the Apache License, Version 2.0 (the "License"); you may
Bethory 0:6ad07c9019fd 6 * not use this file except in compliance with the License.
Bethory 0:6ad07c9019fd 7 * You may obtain a copy of the License at
Bethory 0:6ad07c9019fd 8 *
Bethory 0:6ad07c9019fd 9 * http://www.apache.org/licenses/LICENSE-2.0
Bethory 0:6ad07c9019fd 10 *
Bethory 0:6ad07c9019fd 11 * Unless required by applicable law or agreed to in writing, software
Bethory 0:6ad07c9019fd 12 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
Bethory 0:6ad07c9019fd 13 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
Bethory 0:6ad07c9019fd 14 * See the License for the specific language governing permissions and
Bethory 0:6ad07c9019fd 15 * limitations under the License.
Bethory 0:6ad07c9019fd 16 */
Bethory 0:6ad07c9019fd 17 #ifndef __RTX_BOX_INDEX_H__
Bethory 0:6ad07c9019fd 18 #define __RTX_BOX_INDEX_H__
Bethory 0:6ad07c9019fd 19
Bethory 0:6ad07c9019fd 20 #include "cmsis_os2.h"
Bethory 0:6ad07c9019fd 21 #include "rtx_os.h"
Bethory 0:6ad07c9019fd 22
Bethory 0:6ad07c9019fd 23 #ifdef __cplusplus
Bethory 0:6ad07c9019fd 24 extern "C" {
Bethory 0:6ad07c9019fd 25 #endif
Bethory 0:6ad07c9019fd 26
Bethory 0:6ad07c9019fd 27 typedef struct
Bethory 0:6ad07c9019fd 28 {
Bethory 0:6ad07c9019fd 29 /* The uvisor box index must be placed at the beginning */
Bethory 0:6ad07c9019fd 30 UvisorBoxIndex index;
Bethory 0:6ad07c9019fd 31
Bethory 0:6ad07c9019fd 32 /* ID of the mutex */
Bethory 0:6ad07c9019fd 33 osMutexId_t mutex_id;
Bethory 0:6ad07c9019fd 34
Bethory 0:6ad07c9019fd 35 /* Attribute of the mutex */
Bethory 0:6ad07c9019fd 36 osMutexAttr_t mutex_attr;
Bethory 0:6ad07c9019fd 37
Bethory 0:6ad07c9019fd 38 /* Internal data of the mutex */
Bethory 0:6ad07c9019fd 39 osRtxMutex_t mutex_data;
Bethory 0:6ad07c9019fd 40 } RtxBoxIndex;
Bethory 0:6ad07c9019fd 41
Bethory 0:6ad07c9019fd 42 #ifdef __cplusplus
Bethory 0:6ad07c9019fd 43 } /* extern "C" */
Bethory 0:6ad07c9019fd 44 #endif
Bethory 0:6ad07c9019fd 45
Bethory 0:6ad07c9019fd 46 #endif /* __RTX_BOX_INDEX_H__ */