Searched refs:GDATA_SEL (Results 1 - 13 of 13) sorted by relevance

/freebsd-10.0-release/sys/amd64/vmm/
H A Dvmm_host.c94 return (GSEL(GDATA_SEL, SEL_KPL));
/freebsd-10.0-release/sys/x86/include/
H A Dsegments.h233 #define GDATA_SEL 5 /* Kernel Data Descriptor (order critical: 2) */ macro
276 #define GDATA_SEL 5 /* Kernel Data Descriptor */ macro
/freebsd-10.0-release/sys/i386/xen/
H A Dmp_machdep.c573 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
917 ctxt.user_regs.ds = GSEL(GDATA_SEL, SEL_KPL);
918 ctxt.user_regs.es = GSEL(GDATA_SEL, SEL_KPL);
920 ctxt.user_regs.gs = GSEL(GDATA_SEL, SEL_KPL);
922 ctxt.user_regs.ss = GSEL(GDATA_SEL, SEL_KPL);
938 ctxt.kernel_ss = GSEL(GDATA_SEL, SEL_KPL);
949 ctxt.kernel_ss = GSEL(GDATA_SEL, SEL_KPL);
H A Dxen_machdep.c1249 mcl[i].args[0] = GSEL(GDATA_SEL, SEL_KPL);
/freebsd-10.0-release/sys/i386/i386/
H A Dmachdep.c1723 /* GDATA_SEL 5 Data Descriptor for kernel */
2612 gdt_segs[GDATA_SEL].ssd_limit = atop(HYPERVISOR_VIRT_START + MTOPSIZE);
2743 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
2745 HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL),
2754 dblfault_tss.tss_ss2 = GSEL(GDATA_SEL, SEL_KPL);
2763 dblfault_tss.tss_gs = GSEL(GDATA_SEL, SEL_KPL);
2836 gdt_segs[GDATA_SEL].ssd_limit = atop(0 - 1);
3019 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
3032 dblfault_tss.tss_ss2 = GSEL(GDATA_SEL, SEL_KPL);
3041 dblfault_tss.tss_gs = GSEL(GDATA_SEL, SEL_KP
[all...]
H A Dgenassym.c234 ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
H A Dvm86.c440 ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
H A Dmp_machdep.c706 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
H A Dsys_machdep.c310 ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
H A Dtrap.c1006 ss = GSEL(GDATA_SEL, SEL_KPL);
/freebsd-10.0-release/sys/amd64/amd64/
H A Dgenassym.c241 ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
H A Dtrap.c846 ss = GSEL(GDATA_SEL, SEL_KPL);
/freebsd-10.0-release/sys/pc98/pc98/
H A Dmachdep.c1521 /* GDATA_SEL 5 Data Descriptor for kernel */
2166 gdt_segs[GDATA_SEL].ssd_limit = atop(0 - 1);
2322 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
2335 dblfault_tss.tss_ss2 = GSEL(GDATA_SEL, SEL_KPL);
2340 dblfault_tss.tss_gs = GSEL(GDATA_SEL, SEL_KPL);

Completed in 138 milliseconds