55 	assert(IS_IN_EL3());  in plat_ic_get_pending_interrupt_id()
77 	assert(IS_IN_EL3());  in plat_ic_get_pending_interrupt_type()
99 	assert(IS_IN_EL3());  in plat_ic_acknowledge_interrupt()
109 	assert(IS_IN_EL3());  in plat_ic_get_interrupt_type()
120 	assert(IS_IN_EL3());  in plat_ic_end_of_interrupt()
135 	assert(type == INTR_TYPE_S_EL1 ||  in plat_interrupt_type_to_line()
139 	assert(sec_state_is_valid(security_state));  in plat_interrupt_type_to_line()
140 	assert(IS_IN_EL3());  in plat_interrupt_type_to_line()
162 		assert(0);  in plat_interrupt_type_to_line()
215 	assert((type == INTR_TYPE_EL3) || (type == INTR_TYPE_S_EL1) ||  in plat_ic_has_interrupt_type()
228 	assert(plat_core_pos_by_mpidr(target) >= 0);  in plat_ic_raise_el3_sgi()
231 	assert(plat_ic_get_interrupt_type(sgi_num) == INTR_TYPE_EL3);  in plat_ic_raise_el3_sgi()
243 		assert(plat_core_pos_by_mpidr(mpidr) >= 0);  in plat_ic_set_spi_routing()
250 		assert(0);  in plat_ic_set_spi_routing()
259 	assert(id >= MIN_PPI_ID);  in plat_ic_set_interrupt_pending()
266 	assert(id >= MIN_PPI_ID);  in plat_ic_clear_interrupt_pending()
294 	assert(IS_IN_EL1());  in plat_ic_get_pending_interrupt_id()
307 	assert(IS_IN_EL1());  in plat_ic_acknowledge_interrupt()
318 	assert(IS_IN_EL1());  in plat_ic_end_of_interrupt()