debug_double_fault - Haiku

Symbol: debug_double_fault

headers/private/kernel/debug.h

extern void debug_double_fault(int32 cpu);

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

debug_double_fault(cpu);

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

debug_double_fault(cpu);