Loading...
Searching...
No Matches
ipi.c File Reference
#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 (void *frame) |
| ISR for TLB_SHOOTDOWN_VECTOR (51) on remote CPUs. | |
| 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_barrier = { .ack_count = 0, .virt = 0 } |
Function Documentation
◆ __attribute__()
|
static |
