|
PatchworkOS
19e446b
A non-POSIX operating system.
|
Per-CPU IPI context. More...
#include <ipi.h>
Data Fields | |
| ipi_t | queue [IPI_QUEUE_SIZE] |
| size_t | readIndex |
| size_t | writeIndex |
| lock_t | lock |
Per-CPU IPI context.
Stores the IPIs received by the owner CPU.
| ipi_t ipi_cpu_t::queue[IPI_QUEUE_SIZE] |