load_gdt          146 bsp/hal/x86/arch/cpu.c 	load_gdt(&gdt_p);
load_gdt           41 bsp/hal/x86/include/cpufunc.h void	 load_gdt(void *);