Searched refs:hw_irq_ctrl_get_highest_prio_irq (Results 1 – 7 of 7) sorted by relevance
80 irq_nbr = hw_irq_ctrl_get_highest_prio_irq(); in posix_irq_handler()105 } while ((irq_nbr = hw_irq_ctrl_get_highest_prio_irq()) != -1); in posix_irq_handler()134 if (hw_irq_ctrl_get_highest_prio_irq() != -1) { in nsif_cpu0_irq_raised_from_sw()
98 irq_nbr = hw_irq_ctrl_get_highest_prio_irq(cpu_n); in posix_irq_handler()125 } while ((irq_nbr = hw_irq_ctrl_get_highest_prio_irq(cpu_n)) != -1); in posix_irq_handler()156 if (hw_irq_ctrl_get_highest_prio_irq(CONFIG_NATIVE_SIMULATOR_MCU_N) != -1) { in posix_irq_handler_im_from_sw()
28 int hw_irq_ctrl_get_highest_prio_irq(void);
26 int hw_irq_ctrl_get_highest_prio_irq(void);
85 while ((irq_nbr = hw_irq_ctrl_get_highest_prio_irq()) != -1) { in posix_irq_handler()126 if (hw_irq_ctrl_get_highest_prio_irq() != -1) { in posix_irq_handler_im_from_sw()
91 int hw_irq_ctrl_get_highest_prio_irq(void) in hw_irq_ctrl_get_highest_prio_irq() function
87 int hw_irq_ctrl_get_highest_prio_irq(void) in hw_irq_ctrl_get_highest_prio_irq() function
