GUEST_DATA_SEL
gsel = GSEL(GUEST_DATA_SEL, SEL_KPL);
gdtr[GUEST_DATA_SEL] = 0x0000900000000000;
gdt[GUEST_DATA_SEL] = (struct user_segment_descriptor) {