1 /* SPDX-License-Identifier: GPL-2.0-only */ 1
2 /*
3 * arch/arm/include/asm/arm-cci.h
4 *
5 * Copyright (C) 2015 ARM Ltd.
6 */
7
8 #ifndef __ASM_ARM_CCI_H
9 #define __ASM_ARM_CCI_H
10
11 #ifdef CONFIG_MCPM
12 #include <asm/mcpm.h>
13
14 /*
15 * We don't have a reliable way of detecting w
16 * if we have access to secure-only registers,
17 * mcpm is registered.
18 */
19 static inline bool platform_has_secure_cci_acc
20 {
21 return mcpm_is_available();
22 }
23
24 #else
25 static inline bool platform_has_secure_cci_acc
26 {
27 return false;
28 }
29 #endif
30
31 #endif
32
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.