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 a347a110d7ea83c8d45c6874cb10eb949d5d595c)
@@ -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>