Home
last modified time | relevance | path

Searched refs:B64CODE_SEL (Results 1 – 5 of 5) sorted by relevance

/titanic_41/usr/src/uts/i86xpv/os/
H A Dmach_kdi.c190 load_segment_registers(B64CODE_SEL, 0, 0, B32DATA_SEL); in boot_kdi_tmpinit()
207 load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL); in boot_kdi_tmpfini()
/titanic_41/usr/src/uts/i86pc/dboot/
H A Ddboot_grub.s200 pushl $B64CODE_SEL
/titanic_41/usr/src/uts/intel/sys/
H A Dsegments.h615 #define B64CODE_SEL SEL_GDT(GDT_B64CODE, SEL_KPL) macro
631 #define KMDBCODE_SEL B64CODE_SEL
/titanic_41/usr/src/uts/i86pc/ml/
H A Dbios_call_src.s374 pushl $B64CODE_SEL
/titanic_41/usr/src/uts/i86pc/os/
H A Dfakebop.c1651 static const int bcode_sel = B64CODE_SEL;