Searched refs:GDT_KCODE (Results 1 – 4 of 4) sorted by relevance
544 #define GDT_KCODE 6 /* kernel code seg %cs */ macro569 #define GDT_KCODE 43 /* kernel code seg %cs */ macro609 #define KCS_SEL SEL_GDT(GDT_KCODE, SEL_KPL)
149 return (SEL_GDT(GDT_KCODE, SEL_KPL)); in vmm_get_host_codesel()
546 (GDT_KCODE << 3), in test_setup_vcpu()
472 set_usegd(&gdt[GDT_KCODE], SDP_LONG, NULL, 0, SDT_MEMERA, SEL_KPL, in init_gdt_common()