set_debug_idt - Haiku

Symbol: set_debug_idt

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

set_debug_idt();

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

set_debug_idt();

src/system/boot/platform/bios_ia32/interrupts.h

void set_debug_idt();

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

set_debug_idt();