Searched refs:flag_ipi (Results 1 – 4 of 4) sorted by relevance
22 void flag_ipi(uint32_t ipi_mask);26 #define flag_ipi(ipi_mask) do { } while (false) macro
16 void flag_ipi(uint32_t ipi_mask) in flag_ipi() function
64 flag_ipi(IPI_CPU_MASK(cpu)); in slice_timeout()
388 flag_ipi(ipi_mask_create(thread)); in ready_thread()711 flag_ipi(ipi_mask_create(thread)); in z_thread_prio_set()727 flag_ipi(IPI_CPU_MASK(cpu->id)); in z_thread_prio_set()925 flag_ipi(ipi_mask_create(old_thread)); in z_get_next_switch_handle()
