GUCODE32_SEL
set_mem_segment(GDT_ADDR_MEM(gdtstore, GUCODE32_SEL), 0,
tf->tf_cs = GSEL(GUCODE32_SEL, SEL_UPL);
((s) == GSEL(GUCODE32_SEL, SEL_UPL) || (s) == LSEL(LUCODE32_SEL, SEL_UPL))
tf->tf_cs = GSEL(GUCODE32_SEL, SEL_UPL) & 0xffffffff;
tf->tf_cs = GSEL(GUCODE32_SEL, SEL_UPL) & 0xffffffff;
tf->tf_cs = GSEL(GUCODE32_SEL, SEL_UPL);