Keil Studio Cloud
Mistake on this page?
Report an issue in GitHub or email us
ipc_defs.h
1 /* Copyright (c) 2018 ARM Limited
2  *
3  * SPDX-License-Identifier: Apache-2.0
4  *
5  * Licensed under the Apache License, Version 2.0 (the "License");
6  * you may not use this file except in compliance with the License.
7  * You may obtain a copy of the License at
8  *
9  * http://www.apache.org/licenses/LICENSE-2.0
10  *
11  * Unless required by applicable law or agreed to in writing, software
12  * distributed under the License is distributed on an "AS IS" BASIS,
13  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14  * See the License for the specific language governing permissions and
15  * limitations under the License.
16  */
17 
18 
19 #ifndef __PSA_MBED_IPC_DEFS_H__
20 #define __PSA_MBED_IPC_DEFS_H__
21 
22 
23 // Includes
24 // --------
25 
26 #include <stdint.h>
27 
28 #include "mbed_assert.h"
29 
30 
31 // Definitions
32 // -----------
33 
34 #define IPC_RES_SEM_MAX_COUNT (1UL) // Maximum number of available tokens for an IPC result semaphore
35 #define IPC_RES_SEM_INITIAL_COUNT (0UL) // Initial number of available tokens for an IPC result semaphore
36 
37 #define ADDR_TABLE_MAGIC 0x3d339a77
38 
39 
40 // NOTE: STRUCT SIZE MUST BE 4 BYTES ALIGNED !!
41 typedef struct addr_table_t {
42  uint32_t magic;
43  uintptr_t tx_queue_ptr;
44  uintptr_t rx_queue_ptr;
45 
46 } addr_table_t;
47 MBED_STATIC_ASSERT((sizeof(addr_table_t) % sizeof(uint32_t) == 0), "addr_table_t: Struct size must be 4 bytes aligned!");
48 
49 
50 #endif // __PSA_MBED_IPC_DEFS_H__
addr_table_t
Definition: ipc_defs.h:41
MBED_STATIC_ASSERT
#define MBED_STATIC_ASSERT(expr, msg)
MBED_STATIC_ASSERT Declare compile-time assertions, results in compile-time error if condition is fal...
Definition: mbed_assert.h:110
Important Information for this Arm website

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.