mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-04-28 08:08:45 +00:00
c3cf06f1a3
All identifiers, regardless of use, that start with two underscores are reserved. This means they can't be used in header guards. The style that this project is now to use the full name of the file in capital letters followed by 'H'. For example, for a file called "uart_example.h", the header guard is UART_EXAMPLE_H. The exceptions are files that are imported from other projects: - CryptoCell driver - dt-bindings folders - zlib headers Change-Id: I50561bf6c88b491ec440d0c8385c74650f3c106e Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
36 lines
1 KiB
C
36 lines
1 KiB
C
/*
|
|
* Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#ifndef SCI_SCFW_H
|
|
#define SCI_SCFW_H
|
|
|
|
/* Includes */
|
|
|
|
#include <stdint.h>
|
|
|
|
#ifdef __cplusplus
|
|
#define __I volatile /*!< Defines 'read only' permissions */
|
|
#else
|
|
#define __I volatile const /*!< Defines 'read only' permissions */
|
|
#endif
|
|
#define __O volatile /*!< Defines 'write only' permissions */
|
|
#define __IO volatile /*!< Defines 'read / write' permissions */
|
|
|
|
/*!
|
|
* This type is used to declare a handle for an IPC communication
|
|
* channel. Its meaning is specific to the IPC implementation.
|
|
*/
|
|
typedef uint64_t sc_ipc_t;
|
|
|
|
/*!
|
|
* This type is used to declare an ID for an IPC communication
|
|
* channel. For the reference IPC implementation, this ID
|
|
* selects the base address of the MU used for IPC.
|
|
*/
|
|
typedef uint64_t sc_ipc_id_t;
|
|
|
|
|
|
#endif /* SCI_SCFW_H */
|