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 99de22b5fb6b8faaa2a2796f37caebf2f125988b)
@@ -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>