ipi_barrier_t Struct Reference

#include <ipi.h>

Public Attributes
volatile uint32_t	ack_count
uint64_t	virt

Detailed Description

ipi_barrier_t - Synchronous completion barrier for broadcast IPIs.

The initiator sets ack_count = target CPU count, broadcasts the IPI, then calls ipi_barrier_wait() to spin until ack_count reaches 0. Each handler calls ipi_barrier_ack() before sending EOI to guarantee the initiator observes completion only after invlpg (or cli;hlt) has executed.

Member Data Documentation

ack_count

volatile uint32_t ipi_barrier_t::ack_count

virt

uint64_t ipi_barrier_t::virt

---

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

• include/miniOS/ipi/ipi.h