Searched refs:GDT_KDATA (Results 1 – 4 of 4) sorted by relevance
545 #define GDT_KDATA 7 /* kernel data seg %ds */ macro570 #define GDT_KDATA 44 /* kernel data seg %ds */ macro610 #define KDS_SEL SEL_GDT(GDT_KDATA, SEL_KPL)
143 return (SEL_GDT(GDT_KDATA, SEL_KPL)); in vmm_get_host_datasel()
547 (GDT_KDATA << 3), in test_setup_vcpu()548 (GDT_KDATA << 3), in test_setup_vcpu()
485 set_usegd(&gdt[GDT_KDATA], SDP_LONG, NULL, SDP_LIMIT_MAX, SDT_MEMRWA, in init_gdt_common()487 gdt[GDT_KDATA].usd_def32 = 1; in init_gdt_common()