| Antonio Nino Diaz | dcf9d92 | 2017-10-04 16:52:15 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef __XLAT_TABLES_ARCH_PRIVATE_H__ |
| 8 | #define __XLAT_TABLES_ARCH_PRIVATE_H__ |
| 9 | |
| 10 | #include <xlat_tables_defs.h> |
| 11 | #include <xlat_tables_v2.h> |
| 12 | |
| 13 | /* |
| 14 | * Return the execute-never mask that will prevent instruction fetch at the |
| 15 | * given translation regime. |
| 16 | */ |
| 17 | static inline uint64_t xlat_arch_regime_get_xn_desc(xlat_regime_t regime __unused) |
| 18 | { |
| 19 | return UPPER_ATTRS(XN); |
| 20 | } |
| 21 | |
| 22 | #endif /* __XLAT_TABLES_ARCH_PRIVATE_H__ */ |