Lines Matching refs:GSEL
740 lldt(GSEL(GLDT_SEL, SEL_KPL)); in cpu_hatch()
866 initctx->user_regs.cs = GSEL(GCODE_SEL, SEL_KPL); in xen_init_amd64_vcpuctxt()
872 initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL); in xen_init_amd64_vcpuctxt()
873 initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL); in xen_init_amd64_vcpuctxt()
874 initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL); in xen_init_amd64_vcpuctxt()
885 initctx->kernel_ss = GSEL(GDATA_SEL, SEL_KPL); in xen_init_amd64_vcpuctxt()
969 initctx->user_regs.cs = GSEL(GCODE_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
973 initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
974 initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
975 initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
976 initctx->user_regs.fs = GSEL(GDATA_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
987 initctx->kernel_ss = GSEL(GDATA_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
997 initctx->event_callback_cs = GSEL(GCODE_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()
999 initctx->failsafe_callback_cs = GSEL(GCODE_SEL, SEL_KPL); in xen_init_i386_vcpuctxt()