Searched defs:ipi_mask (Results 1 – 2 of 2) sorted by relevance
16 void flag_ipi(uint32_t ipi_mask) in flag_ipi()32 uint32_t ipi_mask = 0; in ipi_mask_create() local
26 #define flag_ipi(ipi_mask) do { } while (false) argument
