os_kernel_lab/labcodes_answer/lab1_result/kern/debug/kdebug.h

12 lines
217 B
C
Raw Normal View History

2014-08-20 15:42:20 +08:00
#ifndef __KERN_DEBUG_KDEBUG_H__
#define __KERN_DEBUG_KDEBUG_H__
#include <defs.h>
void print_kerninfo(void);
void print_stackframe(void);
void print_debuginfo(uintptr_t eip);
#endif /* !__KERN_DEBUG_KDEBUG_H__ */