Searched refs:ipi_mask (Results 1 – 2 of 2) sorted by relevance
16 void flag_ipi(uint32_t ipi_mask) in flag_ipi() argument20 atomic_or(&_kernel.pending_ipi, (atomic_val_t)ipi_mask); in flag_ipi()32 uint32_t ipi_mask = 0; in ipi_mask_create() local62 ipi_mask |= BIT(i); in ipi_mask_create()66 return (atomic_val_t)ipi_mask; in ipi_mask_create()
22 void flag_ipi(uint32_t ipi_mask);26 #define flag_ipi(ipi_mask) do { } while (false) argument
