Symbol: push_gdt
usr.sbin/vmd/loadfile_elf.c
119
static void push_gdt(void);
usr.sbin/vmd/loadfile_elf.c
237
push_gdt();