Marco Zecchini
/
Example_RTOS
Rtos API example
Embed:
(wiki syntax)
Show/hide line numbers
rtx_box_index.h
00001 /* 00002 * Copyright (c) 2016, ARM Limited, All Rights Reserved 00003 * SPDX-License-Identifier: Apache-2.0 00004 * 00005 * Licensed under the Apache License, Version 2.0 (the "License"); you may 00006 * not use this file except in compliance with the License. 00007 * You may obtain a copy of the License at 00008 * 00009 * http://www.apache.org/licenses/LICENSE-2.0 00010 * 00011 * Unless required by applicable law or agreed to in writing, software 00012 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 00013 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 00014 * See the License for the specific language governing permissions and 00015 * limitations under the License. 00016 */ 00017 #ifndef __RTX_BOX_INDEX_H__ 00018 #define __RTX_BOX_INDEX_H__ 00019 00020 #include "cmsis_os2.h" 00021 #include "rtx_os.h" 00022 00023 #ifdef __cplusplus 00024 extern "C" { 00025 #endif 00026 00027 typedef struct 00028 { 00029 /* The uvisor box index must be placed at the beginning */ 00030 UvisorBoxIndex index; 00031 00032 /* ID of the mutex */ 00033 osMutexId_t mutex_id; 00034 00035 /* Attribute of the mutex */ 00036 osMutexAttr_t mutex_attr; 00037 00038 /* Internal data of the mutex */ 00039 osRtxMutex_t mutex_data; 00040 } RtxBoxIndex; 00041 00042 #ifdef __cplusplus 00043 } /* extern "C" */ 00044 #endif 00045 00046 #endif /* __RTX_BOX_INDEX_H__ */
Generated on Sun Jul 17 2022 08:25:29 by 1.7.2