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 *);