Lines Matching refs:assert
37 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in calc_physical_addr_size_bits()
78 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in get_max_supported_pa()
103 assert(el > 0U); in xlat_arch_current_el()
113 assert(el == 1U); in xlat_arch_get_xn_desc()
123 assert(PLAT_VIRT_ADDR_SPACE_SIZE >= in init_xlat_tables()
125 assert(PLAT_VIRT_ADDR_SPACE_SIZE <= MAX_VIRT_ADDR_SPACE_SIZE); in init_xlat_tables()
126 assert(IS_POWER_OF_TWO(PLAT_VIRT_ADDR_SPACE_SIZE)); in init_xlat_tables()
132 assert(max_va <= (PLAT_VIRT_ADDR_SPACE_SIZE - 1U)); in init_xlat_tables()
133 assert(max_pa <= (PLAT_PHY_ADDR_SPACE_SIZE - 1U)); in init_xlat_tables()
134 assert((PLAT_PHY_ADDR_SPACE_SIZE - 1U) <= get_max_supported_pa()); in init_xlat_tables()
155 assert(IS_IN_EL(_el)); \
156 assert((read_sctlr_el##_el() & SCTLR_M_BIT) == 0U); \