| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* | |
| * arch/arm/include/asm/arm-cci.h | |
| * | |
| * Copyright (C) 2015 ARM Ltd. | |
| */ | |
| #ifndef __ASM_ARM_CCI_H | |
| #define __ASM_ARM_CCI_H | |
| #ifdef CONFIG_MCPM | |
| #include <asm/mcpm.h> | |
| /* | |
| * We don't have a reliable way of detecting whether, | |
| * if we have access to secure-only registers, unless | |
| * mcpm is registered. | |
| */ | |
| static inline bool platform_has_secure_cci_access(void) | |
| { | |
| return mcpm_is_available(); | |
| } | |
| #else | |
| static inline bool platform_has_secure_cci_access(void) | |
| { | |
| return false; | |
| } | |
| #endif | |
| #endif |