1 #ifndef JOS_KERN_MONITOR_H
2 #define JOS_KERN_MONITOR_H
4 # error "This is a JOS kernel header; user programs should not #include it"
9 // Activate the kernel monitor,
10 // optionally providing a trap frame indicating the current state
12 void monitor(struct Trapframe
*tf
);
14 // Functions implementing monitor commands.
15 int mon_help(int argc
, char **argv
, struct Trapframe
*tf
);
16 int mon_kerninfo(int argc
, char **argv
, struct Trapframe
*tf
);
17 int mon_backtrace(int argc
, char **argv
, struct Trapframe
*tf
);
19 #endif // !JOS_KERN_MONITOR_H