tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
fork
Configure Feed
Select the types of activity you want to include in your feed.
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