diff options
Diffstat (limited to 'include/lib')
| -rw-r--r-- | include/lib/xlat_tables/xlat_mmu_helpers.h | 3 | ||||
| -rw-r--r-- | include/lib/xlat_tables/xlat_tables_v2_helpers.h | 7 |
2 files changed, 6 insertions, 4 deletions
diff --git a/include/lib/xlat_tables/xlat_mmu_helpers.h b/include/lib/xlat_tables/xlat_mmu_helpers.h index 3906efb4..cd42c33e 100644 --- a/include/lib/xlat_tables/xlat_mmu_helpers.h +++ b/include/lib/xlat_tables/xlat_mmu_helpers.h @@ -52,6 +52,7 @@ #ifndef __ASSEMBLY__ +#include <stdbool.h> #include <stdint.h> #include <sys/types.h> @@ -78,7 +79,7 @@ void enable_mmu_direct_el1(unsigned int flags); void enable_mmu_direct_el3(unsigned int flags); #endif /* AARCH32 */ -int xlat_arch_is_granule_size_supported(size_t size); +bool xlat_arch_is_granule_size_supported(size_t size); size_t xlat_arch_get_max_supported_granule_size(void); #endif /* __ASSEMBLY__ */ diff --git a/include/lib/xlat_tables/xlat_tables_v2_helpers.h b/include/lib/xlat_tables/xlat_tables_v2_helpers.h index d3d2fc4e..fa899588 100644 --- a/include/lib/xlat_tables/xlat_tables_v2_helpers.h +++ b/include/lib/xlat_tables/xlat_tables_v2_helpers.h @@ -20,6 +20,7 @@ #include <cassert.h> #include <platform_def.h> +#include <stdbool.h> #include <stddef.h> #include <xlat_tables_arch.h> #include <xlat_tables_defs.h> @@ -95,8 +96,8 @@ struct xlat_ctx { /* Level of the base translation table. */ unsigned int base_level; - /* Set to 1 when the translation tables are initialized. */ - int initialized; + /* Set to true when the translation tables are initialized. */ + bool initialized; /* * Translation regime managed by this xlat_ctx_t. It should be one of @@ -157,7 +158,7 @@ struct xlat_ctx { .max_pa = 0U, \ .max_va = 0U, \ .next_table = 0, \ - .initialized = 0, \ + .initialized = false, \ } #endif /*__ASSEMBLY__*/ |