1/* SPDX-License-Identifier: GPL-2.0-only */
 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 whether,
16 * if we have access to secure-only registers, unless
17 * mcpm is registered.
18 */
19static inline bool platform_has_secure_cci_access(void)
20{
21	return mcpm_is_available();
22}
23
24#else
25static inline bool platform_has_secure_cci_access(void)
26{
27	return false;
28}
29#endif
30
31#endif

 1/* SPDX-License-Identifier: GPL-2.0-only */
 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 whether,
16 * if we have access to secure-only registers, unless
17 * mcpm is registered.
18 */
19static inline bool platform_has_secure_cci_access(void)
20{
21	return mcpm_is_available();
22}
23
24#else
25static inline bool platform_has_secure_cci_access(void)
26{
27	return false;
28}
29#endif
30
31#endif