diff options
Diffstat (limited to 'lib/xlat_tables_v2/xlat_tables_private.h')
-rw-r--r-- | lib/xlat_tables_v2/xlat_tables_private.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/xlat_tables_v2/xlat_tables_private.h b/lib/xlat_tables_v2/xlat_tables_private.h index 47c5ae8db..313bd8d68 100644 --- a/lib/xlat_tables_v2/xlat_tables_private.h +++ b/lib/xlat_tables_v2/xlat_tables_private.h @@ -8,6 +8,7 @@ #define XLAT_TABLES_PRIVATE_H #include <platform_def.h> +#include <stdbool.h> #include <xlat_tables_defs.h> #if PLAT_XLAT_TABLES_DYNAMIC @@ -91,9 +92,9 @@ unsigned int xlat_arch_current_el(void); unsigned long long xlat_arch_get_max_supported_pa(void); /* - * Return 1 if the MMU of the translation regime managed by the given xlat_ctx_t - * is enabled, 0 otherwise. + * Returns true if the MMU of the translation regime managed by the given + * xlat_ctx_t is enabled, false otherwise. */ -int is_mmu_enabled_ctx(const xlat_ctx_t *ctx); +bool is_mmu_enabled_ctx(const xlat_ctx_t *ctx); #endif /* XLAT_TABLES_PRIVATE_H */ |