Symbol: GUCODE32_SEL
sys/platform/pc64/x86_64/machdep.c
2895
((u_int64_t)GSEL(GUCODE32_SEL, SEL_UPL) << 48);
sys/platform/pc64/x86_64/machdep.c
2917
_ucode32sel = GSEL(GUCODE32_SEL, SEL_UPL);
sys/platform/pc64/x86_64/mp_machdep.c
343
((u_int64_t)GSEL(GUCODE32_SEL, SEL_UPL) << 48);