Index: sys/sched.h
===================================================================
RCS file: /cvs/src/sys/sys/sched.h,v
retrieving revision 1.41
diff -u -p -r1.41 sched.h
--- sys/sched.h	17 Mar 2016 13:18:47 -0000	1.41
+++ sys/sched.h	10 May 2016 06:09:34 -0000
@@ -186,7 +186,7 @@ void remrunqueue(struct proc *);
 } while (0)
 
 #if defined(MULTIPROCESSOR)
-#include <sys/lock.h>
+#include <machine/lock.h>
 
 /*
  * XXX Instead of using struct lock for the kernel lock and thus requiring us