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 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -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>