Symbol: gdt_init
sys/arch/i386/i386/autoconf.c
122
gdt_init(); /* XXX - pcibios uses gdt stuff */
sys/arch/i386/include/gdt.h
40
void gdt_init(void);