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/*
 2 * arch/arm/include/asm/arm-cci.h
 3 *
 4 * Copyright (C) 2015 ARM Ltd.
 5 *
 6 * This program is free software; you can redistribute it and/or modify
 7 * it under the terms of the GNU General Public License version 2 as
 8 * published by the Free Software Foundation.
 9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 * GNU General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
17 */
18
19#ifndef __ASM_ARM_CCI_H
20#define __ASM_ARM_CCI_H
21
22#ifdef CONFIG_MCPM
23#include <asm/mcpm.h>
24
25/*
26 * We don't have a reliable way of detecting whether,
27 * if we have access to secure-only registers, unless
28 * mcpm is registered.
29 */
30static inline bool platform_has_secure_cci_access(void)
31{
32	return mcpm_is_available();
33}
34
35#else
36static inline bool platform_has_secure_cci_access(void)
37{
38	return false;
39}
40#endif
41
42#endif