os_kernel_lab/labcodes_answer/lab2_result/kern/debug/kdebug.h
2014-08-20 15:42:20 +08:00

13 lines
235 B
C

#ifndef __KERN_DEBUG_KDEBUG_H__
#define __KERN_DEBUG_KDEBUG_H__
#include <defs.h>
#include <trap.h>
void print_kerninfo(void);
void print_stackframe(void);
void print_debuginfo(uintptr_t eip);
#endif /* !__KERN_DEBUG_KDEBUG_H__ */