Fix the VKERNEL/VKERNEL64 build.

[dragonfly.git] / sys / cpu / x86_64 / include / segments.h

diff --git a/sys/cpu/x86_64/include/segments.h b/sys/cpu/x86_64/include/segments.h
index 06408c3..c2fd80f 100644 (file)
--- a/sys/cpu/x86_64/include/segments.h
+++ b/sys/cpu/x86_64/include/segments.h
@@ -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,