1 /* 2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #ifndef _KERNEL_ARCH_DEBUG_H 6 #define _KERNEL_ARCH_DEBUG_H 7 8 int arch_dbg_init(kernel_args *ka); 9 void arch_dbg_save_registers(int *); 10 11 #endif /* _KERNEL_ARCH_DEBUG_H */ 12