Searched refs:gdt_frames (Results 1 - 2 of 2) sorted by relevance

/freebsd-9.3-release/sys/xen/interface/arch-x86/
H A Dxen.h130 unsigned long gdt_frames[16], gdt_ents; /* GDT (machine frames, # ents) */ member in struct:vcpu_guest_context
/freebsd-9.3-release/sys/i386/xen/
H A Dmp_machdep.c894 ctxt.gdt_frames[0] = (uint32_t)((uint64_t)vtomach(bootAPgdt) >> PAGE_SHIFT);
924 ctxt.gdt_frames[0],

Completed in 97 milliseconds