207 	uint32_t i;  in request_intr_type_el3()  local
217 	for (i = 0; i < index; i++) {  in request_intr_type_el3()
218 		if (id == type_el3_interrupt_table[i].id) {  in request_intr_type_el3()
239 	uint32_t i;  in rdo_el3_interrupt_handler()  local
244 	for (i = 0; i < MAX_INTR_EL3; i++) {  in rdo_el3_interrupt_handler()
245 		if (intr_id == type_el3_interrupt_table[i].id) {  in rdo_el3_interrupt_handler()
246 			handler = type_el3_interrupt_table[i].handler;  in rdo_el3_interrupt_handler()
261 	uint32_t i;  in plat_spmd_handle_group0_interrupt()  local
264 	for (i = 0; i < MAX_INTR_EL3; i++) {  in plat_spmd_handle_group0_interrupt()
265 		if (intid == type_el3_interrupt_table[i].id) {  in plat_spmd_handle_group0_interrupt()
266 			handler = type_el3_interrupt_table[i].handler;  in plat_spmd_handle_group0_interrupt()