NGDT
memcpy(gdtstore, old_gdt, NGDT * sizeof(gdtstore[0]));
memset(gdtstore, 0, NGDT * sizeof(*gdtstore));
setregion(®ion, gdtstore, NGDT * sizeof(gdtstore[0]) - 1);
if (HYPERVISOR_set_gdt(frames, NGDT /* XXX is it right ? */))
memcpy(gdtstore, tgdt, NGDT * sizeof(*gdtstore));
setregion(®ion, gdtstore, NGDT * sizeof(gdtstore[0]) - 1);
#define DYNSEL_START (NGDT << 3)