Searched refs:KMDBGS_SEL (Results 1 – 2 of 2) sorted by relevance
204 load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL); in boot_kdi_tmpfini()
640 #define KMDBGS_SEL SEL_GDT(GDT_BGSTMP, SEL_KPL) macro