Searched refs:GDATA_SEL (Results 1 - 13 of 13) sorted by relevance
/freebsd-10.0-release/sys/amd64/vmm/ |
H A D | vmm_host.c | 94 return (GSEL(GDATA_SEL, SEL_KPL));
|
/freebsd-10.0-release/sys/x86/include/ |
H A D | segments.h | 233 #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 D | mp_machdep.c | 573 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 D | xen_machdep.c | 1249 mcl[i].args[0] = GSEL(GDATA_SEL, SEL_KPL);
|
/freebsd-10.0-release/sys/i386/i386/ |
H A D | machdep.c | 1723 /* 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 D | genassym.c | 234 ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
|
H A D | vm86.c | 440 ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
|
H A D | mp_machdep.c | 706 PCPU_SET(common_tss.tss_ss0, GSEL(GDATA_SEL, SEL_KPL));
|
H A D | sys_machdep.c | 310 ext->ext_tss.tss_ss0 = GSEL(GDATA_SEL, SEL_KPL);
|
H A D | trap.c | 1006 ss = GSEL(GDATA_SEL, SEL_KPL);
|
/freebsd-10.0-release/sys/amd64/amd64/ |
H A D | genassym.c | 241 ASSYM(KDSEL, GSEL(GDATA_SEL, SEL_KPL));
|
H A D | trap.c | 846 ss = GSEL(GDATA_SEL, SEL_KPL);
|
/freebsd-10.0-release/sys/pc98/pc98/ |
H A D | machdep.c | 1521 /* 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