Searched refs:rdo_el3_interrupt_handler (Results 1 – 1 of 1) sorted by relevance
156 static uint64_t rdo_el3_interrupt_handler(uint32_t id, uint32_t flags, in rdo_el3_interrupt_handler() function188 rdo_el3_interrupt_handler, flags); in bl31_plat_runtime_setup()