Searched refs:rdo_el3_interrupt_handler (Results 1 – 3 of 3) sorted by relevance
146 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function186 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
164 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function202 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
187 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function225 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()
