Fix the VKERNEL/VKERNEL64 build.
[dragonfly.git] / sys / cpu / x86_64 / include / segments.h
index 06408c3..c2fd80f 100644 (file)
@@ -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,