Searched refs:KMDBGS_SEL (Results 1 – 3 of 3) sorted by relevance
207 load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL); in boot_kdi_tmpfini()250 KMDBGS_SEL, B32DATA_SEL); in boot_kdi_tmpinit()
199 setgs(KMDBGS_SEL); in boot_kdi_tmpinit()
625 #define KMDBGS_SEL SEL_GDT(GDT_BGSTMP, SEL_KPL) macro