load_idt 187 bsp/hal/x86/arch/cpu.c load_idt(&idt_p); load_idt 42 bsp/hal/x86/include/cpufunc.h void load_idt(void *);