include/asm/arm-cci.h

0001 /* SPDX-License-Identifier: GPL-2.0-only */
0002 /*
0003  * arch/arm/include/asm/arm-cci.h
0004  *
0005  * Copyright (C) 2015 ARM Ltd.
0006  */
0007
0008 #ifndef __ASM_ARM_CCI_H
0009 #define __ASM_ARM_CCI_H
0010
0011 #ifdef CONFIG_MCPM
0012 #include <asm/mcpm.h>
0013
0014 /*
0015  * We don't have a reliable way of detecting whether,
0016  * if we have access to secure-only registers, unless
0017  * mcpm is registered.
0018  */
0019 static inline bool platform_has_secure_cci_access(void)
0020 {
0021     return mcpm_is_available();
0022 }
0023
0024 #else
0025 static inline bool platform_has_secure_cci_access(void)
0026 {
0027     return false;
0028 }
0029 #endif
0030
0031 #endif