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 4bb7ffef3e23c7aa82199ac6ba9838b10a2ceea7)
@@ -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>