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()
177 		assert(0); /* Unreachable */  in plat_interrupt_type_to_line()
188 		assert(0); /* Unreachable */  in plat_interrupt_type_to_line()
265 		assert(false); /* Unreachable */  in plat_ic_set_interrupt_type()
276 	assert(plat_core_pos_by_mpidr(target) >= 0);  in plat_ic_raise_el3_sgi()
279 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==  in plat_ic_raise_el3_sgi()
288 	assert(plat_core_pos_by_mpidr(target) >= 0);  in plat_ic_raise_ns_sgi()
291 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==  in plat_ic_raise_ns_sgi()
300 	assert(plat_core_pos_by_mpidr(target) >= 0);  in plat_ic_raise_s_el1_sgi()
303 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==  in plat_ic_raise_s_el1_sgi()
316 		assert(plat_core_pos_by_mpidr(mpidr) >= 0);  in plat_ic_set_spi_routing()
323 		assert(false); /* Unreachable */  in plat_ic_set_spi_routing()
333 	assert(id >= MIN_PPI_ID);  in plat_ic_set_interrupt_pending()
340 	assert(id >= MIN_PPI_ID);  in plat_ic_clear_interrupt_pending()
381 	assert(IS_IN_EL1());  in plat_ic_get_pending_interrupt_id()
394 	assert(IS_IN_EL1());  in plat_ic_acknowledge_interrupt()
405 	assert(IS_IN_EL1());  in plat_ic_end_of_interrupt()