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 b0f00a9ed1b00bda8a286a4c4bbe625a7f410bc6)
@@ -45,5 +45,4 @@
 #include <func.h>
 #include <typedefs.h>
-#include <synch/synch.h>
 #include <synch/waitq.h>
 #include <print.h>