1 /*
2  * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef SCI_SCFW_H
8 #define SCI_SCFW_H
9 
10 /* Includes */
11 
12 #include <stdint.h>
13 
14 #ifdef __cplusplus
15   #define   __I     volatile             /*!< Defines 'read only' permissions                 */
16 #else
17   #define   __I     volatile const       /*!< Defines 'read only' permissions                 */
18 #endif
19 #define     __O     volatile             /*!< Defines 'write only' permissions                */
20 #define     __IO    volatile             /*!< Defines 'read / write' permissions              */
21 
22 /*!
23  * This type is used to declare a handle for an IPC communication
24  * channel. Its meaning is specific to the IPC implementation.
25  */
26 typedef uint64_t sc_ipc_t;
27 
28 /*!
29  * This type is used to declare an ID for an IPC communication
30  * channel. For the reference IPC implementation, this ID
31  * selects the base address of the MU used for IPC.
32  */
33 typedef uint64_t sc_ipc_id_t;
34 
35 
36 #endif /* SCI_SCFW_H */
37