Fix the VKERNEL/VKERNEL64 build.
[dragonfly.git] / sys / cpu / x86_64 / include / segments.h
index b8dccf1..c2fd80f 100644 (file)
@@ -210,7 +210,7 @@ struct region_descriptor {
 #define        SEGEX_IDT       0x02    /* interrupt descriptor table */
 #define        SEGEX_TI        0x04    /* local descriptor table */
                                /* other bits are affected descriptor index */
-#define SEGEX_IDX(s)   ((s)>>3)&0x1fff)
+#define SEGEX_IDX(s)   (((s)>>3)&0x1fff)
 
 /*
  * Size of the IDT table.  Theoretically we only need to cover past 0x81 
@@ -263,6 +263,7 @@ struct region_descriptor {
 extern struct user_segment_descriptor gdt[];
 extern struct soft_segment_descriptor gdt_segs[];
 extern struct gate_descriptor *idt;
+extern struct mtx dt_lock;
 
 void   lgdt(struct region_descriptor *rdp);
 void   sdtossd(struct user_segment_descriptor *sdp,