Index: kernel/arch/sparc64/src/sun4v/start.S
===================================================================
--- kernel/arch/sparc64/src/sun4v/start.S	(revision fb2ceebd30add3c4203e742c03bc8a900863c575)
+++ kernel/arch/sparc64/src/sun4v/start.S	(revision c06994673347954891a57710998cf1e087a59e8b)
@@ -30,4 +30,5 @@
 #include <arch/arch.h>
 #include <arch/stack.h>
+#include <arch/regdef.h>
 #include <arch/context_offset.h>
 #include <arch/sun4v/regdef.h>