HYPERVISOR_set_gdt
if (HYPERVISOR_set_gdt(frames, (desc->rd_limit + 1) >> 3))
if (HYPERVISOR_set_gdt(frames, gdt_size / sizeof(gdtstore[0])))
if (HYPERVISOR_set_gdt(frames, NGDT /* XXX is it right ? */))