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