#include <miniOS/ipi/ipi.h>
#include <miniOS/arch/x86_64/apic.h>
#include <miniOS/arch/x86_64/smp.h>
#include <miniOS/io.h>

Include dependency graph for ipi.c:

Functions
void	ipi_tlb_shootdown (uint64_t virt)
	Broadcast TLB-shootdown IPI and wait for all CPUs to flush.
void	tlb_shootdown_isr (uint32_t src_cpu)
	ISR for TLB_SHOOTDOWN_VECTOR_BASE + N on remote CPUs (one per possible initiator CPU N — see tlb_shootdown_wrapper0..7 in isr.asm).
static ipi_barrier_t g_panic_barrier	__attribute__ ((unused))
void	ipi_panic_halt (void)
	Broadcast halt IPI to all APs on kernel panic.
void	panic_halt_isr (void *frame)
	ISR for PANIC_HALT_VECTOR (52) on APs.

Variables
ipi_barrier_t	g_tlb_barriers [MAX_CPUS]

Function Documentation

◆ attribute()

ipi_barrier_t g_panic_barrier __attribute__ ( (unused) )

static