Lines Matching refs:assert
45 assert(xlat_arch_is_granule_size_supported(PAGE_SIZE_4KB)); in xlat_arch_get_max_supported_granule_size()
80 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in tcr_physical_addr_size_bits()
121 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in xlat_arch_get_max_supported_pa()
145 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx()
148 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx()
151 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()
152 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx()
175 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc()
197 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va()
200 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va()
203 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()
204 assert(xlat_arch_current_el() >= 3U); in xlat_arch_tlbi_va()
236 assert(el > 0U); in xlat_arch_current_el()
257 assert(max_va < ((uint64_t)UINTPTR_MAX)); in setup_mmu_cfg()
261 assert(virtual_addr_space_size >= in setup_mmu_cfg()
263 assert(virtual_addr_space_size <= MAX_VIRT_ADDR_SPACE_SIZE); in setup_mmu_cfg()
264 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()
303 assert(xlat_regime == EL3_REGIME); in setup_mmu_cfg()