gdt_frames        229 arch/x86/include/asm/xen/interface.h     unsigned long gdt_frames[16], gdt_ents; /* GDT (machine frames, # ents) */
gdt_frames        332 arch/x86/xen/smp_pv.c 	ctxt->gdt_frames[0] = gdt_mfn;