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

694

void x86_fatal_exception(iframe* frame);

src/system/kernel/arch/x86/32/descriptors.cpp

587

table[2] = x86_fatal_exception; // NMI Interrupt

src/system/kernel/arch/x86/32/descriptors.cpp

592

table[7] = x86_fatal_exception; // Device Not Available Exception (#NM)

src/system/kernel/arch/x86/32/descriptors.cpp

594

table[9] = x86_fatal_exception; // Coprocessor Segment Overrun

src/system/kernel/arch/x86/32/descriptors.cpp

595

table[10] = x86_fatal_exception; // Invalid TSS Exception (#TS)

src/system/kernel/arch/x86/32/descriptors.cpp

596

table[11] = x86_fatal_exception; // Segment Not Present (#NP)

src/system/kernel/arch/x86/32/descriptors.cpp

597

table[12] = x86_fatal_exception; // Stack Fault Exception (#SS)

src/system/kernel/arch/x86/32/descriptors.cpp

602

table[18] = x86_fatal_exception; // Machine-Check Exception (#MC)

src/system/kernel/arch/x86/64/descriptors.cpp

439

table[2] = x86_fatal_exception; // NMI Interrupt

src/system/kernel/arch/x86/64/descriptors.cpp

444

table[7] = x86_fatal_exception; // Device Not Available Exception (#NM)

src/system/kernel/arch/x86/64/descriptors.cpp

446

table[9] = x86_fatal_exception; // Coprocessor Segment Overrun

src/system/kernel/arch/x86/64/descriptors.cpp

447

table[10] = x86_fatal_exception; // Invalid TSS Exception (#TS)

src/system/kernel/arch/x86/64/descriptors.cpp

448

table[11] = x86_fatal_exception; // Segment Not Present (#NP)

src/system/kernel/arch/x86/64/descriptors.cpp

454

table[18] = x86_fatal_exception; // Machine-Check Exception (#MC)