Symbol: gdt_prepframes
sys/arch/xen/x86/cpu.c
838
gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);
sys/arch/xen/x86/cpu.c
932
gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);