Lines Matching refs:assert
50 assert(xlat_arch_is_granule_size_supported(PAGE_SIZE_4KB)); in xlat_arch_get_max_supported_granule_size()
85 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in tcr_physical_addr_size_bits()
126 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in xlat_arch_get_max_supported_pa()
150 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx()
153 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx()
156 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()
157 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx()
180 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc()
202 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va()
205 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va()
208 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()
209 assert(xlat_arch_current_el() >= 3U); in xlat_arch_tlbi_va()
241 assert(el > 0U); in xlat_arch_current_el()
262 assert(max_va < ((uint64_t)UINTPTR_MAX)); in setup_mmu_cfg()
266 assert(virtual_addr_space_size >= in setup_mmu_cfg()
268 assert(virtual_addr_space_size <= MAX_VIRT_ADDR_SPACE_SIZE); in setup_mmu_cfg()
269 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()
308 assert(xlat_regime == EL3_REGIME); in setup_mmu_cfg()