Home
last modified time | relevance | path

Searched defs:ipi_mask (Results 1 – 2 of 2) sorted by relevance

/kernel/
A Dipi.c16 void flag_ipi(uint32_t ipi_mask) in flag_ipi()
32 uint32_t ipi_mask = 0; in ipi_mask_create() local
/kernel/include/
A Dipi.h26 #define flag_ipi(ipi_mask) do { } while (false) argument

Completed in 3 milliseconds