204 int request_intr_type_el3(uint32_t id, interrupt_type_handler_t handler)  in request_intr_type_el3()  argument
211 	if ((handler == NULL) || (index >= MAX_INTR_EL3)) {  in request_intr_type_el3()
225 	type_el3_interrupt_table[index].handler = handler;  in request_intr_type_el3()
240 	interrupt_type_handler_t handler = NULL;  in rdo_el3_interrupt_handler()  local
246 			handler = type_el3_interrupt_table[i].handler;  in rdo_el3_interrupt_handler()
250 	if (handler != NULL) {  in rdo_el3_interrupt_handler()
251 		(void)handler(intr_id, flags, handle, cookie);  in rdo_el3_interrupt_handler()
262 	interrupt_type_handler_t handler = NULL;  in plat_spmd_handle_group0_interrupt()  local
266 			handler = type_el3_interrupt_table[i].handler;  in plat_spmd_handle_group0_interrupt()
270 	if (handler != NULL) {  in plat_spmd_handle_group0_interrupt()
272 		(void)handler(intid, 0, NULL, NULL);  in plat_spmd_handle_group0_interrupt()