Index: kernel/arch/sparc64/src/sun4v/md.c
===================================================================
--- kernel/arch/sparc64/src/sun4v/md.c	(revision b2fa1204c76e1eaec329888181d281aac04ed61e)
+++ kernel/arch/sparc64/src/sun4v/md.c	(revision 55958412df6b000da41325bf219018aabc44bde9)
@@ -35,5 +35,5 @@
 #include <debug.h>
 #include <panic.h>
-#include <func.h>
+#include <halt.h>
 #include <log.h>
 #include <str.h>