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()
353 flag_ipi(ipi_mask_create(thread)); in ready_thread()681 flag_ipi(ipi_mask_create(thread)); in z_thread_prio_set()697 flag_ipi(IPI_CPU_MASK(cpu->id)); in z_thread_prio_set()895 flag_ipi(ipi_mask_create(old_thread)); in z_get_next_switch_handle()
