Searched refs:GDT_B64CODE (Results 1 – 2 of 2) sorted by relevance
| /titanic_41/usr/src/uts/intel/sys/ |
| H A D | segments.h | 523 #define GDT_B64CODE 5 /* dboot 64 bit code descriptor */ macro
615 #define B64CODE_SEL SEL_GDT(GDT_B64CODE, SEL_KPL)
|
| /titanic_41/usr/src/uts/intel/ia32/os/ |
| H A D | desctbls.c | 603 set_usegd(&gdt0[GDT_B64CODE], SDP_LONG, NULL, -1, SDT_MEMERA, in init_gdt()
678 gdt0[GDT_B64CODE] = bgdt[GDT_B64CODE]; in init_gdt()
1295 set_usegd(&bgdt[GDT_B64CODE], SDP_LONG, NULL, -1, SDT_MEMERA, SEL_KPL, in init_boot_gdt()
|