Searched refs:B64CODE_SEL (Results 1 – 5 of 5) sorted by relevance
190 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()
615 #define B64CODE_SEL SEL_GDT(GDT_B64CODE, SEL_KPL) macro631 #define KMDBCODE_SEL B64CODE_SEL
298 pushl $B64CODE_SEL
374 pushl $B64CODE_SEL
1697 static const int bcode_sel = B64CODE_SEL;