2012-08-22 12:32:13 +08:00
|
|
|
#ifndef __KERN_DEBUG_MONITOR_H__
|
|
|
|
|
#define __KERN_DEBUG_MONITOR_H__
|
|
|
|
|
|
|
|
|
|
#include <trap.h>
|
|
|
|
|
|
2012-08-26 18:04:26 +08:00
|
|
|
void kmonitor(struct trapframe *tf);
|
2012-08-22 12:32:13 +08:00
|
|
|
|
|
|
|
|
int mon_help(int argc, char **argv, struct trapframe *tf);
|
|
|
|
|
int mon_kerninfo(int argc, char **argv, struct trapframe *tf);
|
|
|
|
|
int mon_backtrace(int argc, char **argv, struct trapframe *tf);
|
|
|
|
|
|
|
|
|
|
#endif /* !__KERN_DEBUG_MONITOR_H__ */
|
|
|
|
|
|
