headers/private/kernel/acpi.h

175

uint8 interrupt_type; /* 1 PMI, 2 INIT, 3 Corrected Platform

headers/private/kernel/acpi.h

274

uint8 interrupt_type;

headers/private/kernel/arch/x86/arch_smp.h

85

uint8 interrupt_type;

headers/private/kernel/interrupts.h

81

enum interrupt_type type);

headers/private/kernel/interrupts.h

83

enum interrupt_type type);

src/add-ons/kernel/drivers/timer/arch_acpi.h

167

uint8 interrupt_type; /* 1 PMI, 2 INIT, 3 Corrected Platform

src/system/boot/platform/bios_ia32/smp.cpp

231

interrupt->interrupt_type, interrupt->source_bus_id,

src/system/kernel/interrupts.cpp

53

interrupt_type type;

src/system/kernel/interrupts.cpp

609

reserve_io_interrupt_vectors(int32 count, int32 startVector, interrupt_type type)

src/system/kernel/interrupts.cpp

641

interrupt_type type)