Index: kernel/arch/sparc64/src/proc/sun4v/scheduler.c
===================================================================
--- kernel/arch/sparc64/src/proc/sun4v/scheduler.c	(revision 5f678b1cc94b4f085d978e9abf075070da605a36)
+++ kernel/arch/sparc64/src/proc/sun4v/scheduler.c	(revision 5e53e02708b7fe7afa7635c8ea1a0738d1329937)
@@ -1,5 +1,4 @@
 /*
  * Copyright (c) 2006 Jakub Jermar
- * Copyright (c) 2009 Pavel Rimsky
  * All rights reserved.
  *
@@ -38,7 +37,7 @@
 #include <arch.h>
 #include <arch/asm.h>
+#include <arch/arch.h>
 #include <arch/stack.h>
 #include <arch/sun4v/cpu.h>
-#include <arch/sun4v/arch.h>
 #include <arch/sun4v/hypercall.h>