|
PatchworkOS
321f6ec
A non-POSIX operating system.
|
Inter-Processor Interrupt (IPI) chip structure. More...
#include <ipi.h>
Data Fields | |
| const char * | name |
| void(* | interrupt )(cpu_t *cpu, irq_virt_t virt) |
| Should interrupt the given CPU with the given virtual IRQ. | |
| void(* | ack )(cpu_t *cpu) |
| void(* | eoi )(cpu_t *cpu) |
Inter-Processor Interrupt (IPI) chip structure.
Represents a implemented hardware IPI controller, such as the local APIC.
| void(* ipi_chip_t::interrupt) (cpu_t *cpu, irq_virt_t virt) |