Searched refs:rdo_el3_interrupt_handler (Results 1 – 3 of 3) sorted by relevance
164 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function200 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
155 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function233 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
172 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function207 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
Completed in 3 milliseconds