ipi_cpu_ctx_t Struct Reference

Per-CPU IPI context. More...

#include <ipi.h>

Collaboration diagram for ipi_cpu_ctx_t:

Data Fields
ipi_t	queue [IPI_QUEUE_SIZE]
uint64_t	readIndex
uint64_t	writeIndex
lock_t	lock

Detailed Description

Per-CPU IPI context.

Stores the IPIs received by the owner CPU.

Definition at line 91 of file ipi.h.

Field Documentation

queue

ipi_t ipi_cpu_ctx_t::queue[IPI_QUEUE_SIZE]

Definition at line 93 of file ipi.h.

readIndex

uint64_t ipi_cpu_ctx_t::readIndex

Definition at line 94 of file ipi.h.

writeIndex

uint64_t ipi_cpu_ctx_t::writeIndex

Definition at line 95 of file ipi.h.

lock

lock_t ipi_cpu_ctx_t::lock

Definition at line 96 of file ipi.h.

---

The documentation for this struct was generated from the following file:

• include/kernel/cpu/ipi.h