Searched refs:signal_pending_ipi (Results 1 – 3 of 3) sorted by relevance
23 void signal_pending_ipi(void);27 #define signal_pending_ipi() do { } while (false) macro
69 void signal_pending_ipi(void) in signal_pending_ipi() function
142 signal_pending_ipi(); in z_requeue_current()745 signal_pending_ipi(); in z_reschedule()755 signal_pending_ipi(); in z_reschedule_irqlock()796 signal_pending_ipi(); in z_swap_next_thread()908 signal_pending_ipi(); in z_get_next_switch_handle()
