Index: kernel/arch/sparc64/src/smp/sun4v/smp.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 5ea37b133befe12ca9715db499b9a245a2d7c6db)
+++ kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 898e84788b1d147ab48122cb197b9910af5994b2)
@@ -45,5 +45,4 @@
 #include <func.h>
 #include <typedefs.h>
-#include <synch/synch.h>
 #include <synch/waitq.h>
 #include <print.h>