Searched refs:GUCODE32_SEL (Results 1 – 3 of 3) sorted by relevance
239 #define GUCODE32_SEL 3 /* User 32 bit Code Descriptor */ macro
343 ((u_int64_t)GSEL(GUCODE32_SEL, SEL_UPL) << 48); in init_secondary()
2886 ((u_int64_t)GSEL(GUCODE32_SEL, SEL_UPL) << 48); in hammer_time()2908 _ucode32sel = GSEL(GUCODE32_SEL, SEL_UPL); in hammer_time()