Lines Matching refs:assert
78 assert(xlat_arch_current_el() == 1U); in is_mmu_enabled_ctx()
81 assert(ctx->xlat_regime == EL2_REGIME); in is_mmu_enabled_ctx()
82 assert(xlat_arch_current_el() == 2U); in is_mmu_enabled_ctx()
101 assert(xlat_regime == EL2_REGIME); in xlat_arch_regime_get_xn_desc()
117 assert(xlat_regime == EL2_REGIME); in xlat_arch_tlbi_va()
153 assert(IS_IN_SVC() || IS_IN_MON()); in xlat_arch_current_el()
194 assert(IS_IN_SVC() || IS_IN_MON()); in setup_mmu_cfg()
201 assert(xlat_regime == EL2_REGIME); in setup_mmu_cfg()
202 assert(IS_IN_HYP()); in setup_mmu_cfg()
221 assert(virtual_addr_space_size >= in setup_mmu_cfg()
223 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()