Some header cleanups.

Renamed dbg_save_registers() to arch_...() since it's arch dependent.
Removed unnecessary dependencies to stage2.h.


git-svn-id: file:///srv/svn/repos/haiku/trunk/current@3138 a95241bf-73f2-0310-859d-f6bbb57e9c96

headers/private/kernel/arch/int.h

@@ -2,11 +2,10 @@
 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
 ** Distributed under the terms of the NewOS License.
 */
-#ifndef _NEWOS_KERNEL_ARCH_INT_H
-#define _NEWOS_KERNEL_ARCH_INT_H
+#ifndef KERNEL_ARCH_INT_H
+#define KERNEL_ARCH_INT_H
 
-#include <ktypes.h>
-#include <stage2.h>
+#include <boot/stage2.h>
 
 int arch_int_init(kernel_args *ka);
 int arch_int_init2(kernel_args *ka);
@@ -18,5 +17,4 @@ void arch_int_enable_io_interrupt(int irq);
 void arch_int_disable_io_interrupt(int irq);
 bool arch_int_is_interrupts_enabled(void);
 
-#endif
-
+#endif	/* KERNEL_ARCH_INT_H */