Lines Matching refs:assert

58 	assert(IS_IN_EL3());  in plat_ic_get_pending_interrupt_id()
81 assert(IS_IN_EL3()); in plat_ic_get_pending_interrupt_type()
109 assert(IS_IN_EL3()); in plat_ic_acknowledge_interrupt()
121 assert(IS_IN_EL3()); in plat_ic_get_interrupt_type()
132 assert(false); /* Unreachable */ in plat_ic_get_interrupt_type()
144 assert(IS_IN_EL3()); in plat_ic_end_of_interrupt()
159 assert((type == INTR_TYPE_S_EL1) || in plat_interrupt_type_to_line()
163 assert(sec_state_is_valid(security_state)); in plat_interrupt_type_to_line()
164 assert(IS_IN_EL3()); in plat_interrupt_type_to_line()
176 assert(0); /* Unreachable */ in plat_interrupt_type_to_line()
186 assert(0); /* Unreachable */ in plat_interrupt_type_to_line()
263 assert(false); /* Unreachable */ in plat_ic_set_interrupt_type()
274 assert(plat_core_pos_by_mpidr(target) >= 0); in plat_ic_raise_el3_sgi()
277 assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) == in plat_ic_raise_el3_sgi()
286 assert(plat_core_pos_by_mpidr(target) >= 0); in plat_ic_raise_ns_sgi()
289 assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) == in plat_ic_raise_ns_sgi()
298 assert(plat_core_pos_by_mpidr(target) >= 0); in plat_ic_raise_s_el1_sgi()
301 assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) == in plat_ic_raise_s_el1_sgi()
314 assert(plat_core_pos_by_mpidr(mpidr) >= 0); in plat_ic_set_spi_routing()
321 assert(0); /* Unreachable */ in plat_ic_set_spi_routing()
331 assert(id >= MIN_PPI_ID); in plat_ic_set_interrupt_pending()
338 assert(id >= MIN_PPI_ID); in plat_ic_clear_interrupt_pending()
379 assert(IS_IN_EL1()); in plat_ic_get_pending_interrupt_id()
392 assert(IS_IN_EL1()); in plat_ic_acknowledge_interrupt()
403 assert(IS_IN_EL1()); in plat_ic_end_of_interrupt()