12 lines
217 B
C
12 lines
217 B
C
#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__ */
|
|
|