GUCODE32_SEL
ASSYM(KUC32SEL, GSEL(GUCODE32_SEL, SEL_UPL));
((u_int64_t)GSEL(GUCODE32_SEL, SEL_UPL) << 48);
_ucode32sel = GSEL(GUCODE32_SEL, SEL_UPL);
[GUCODE32_SEL] = { /* 6 32 bit Code Descriptor for user */