kern/monitor.h

   1 #ifndef JOS_KERN_MONITOR_H
   2 #define JOS_KERN_MONITOR_H
   3 #ifndef JOS_KERNEL
   4 # error "This is a JOS kernel header; user programs should not #include it"
   5 #endif
   6
   7 struct Trapframe;
   8
   9 // Activate the kernel monitor,
  10 // optionally providing a trap frame indicating the current state
  11 // (NULL if none).
  12 void monitor(struct Trapframe *tf);
  13
  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);
  18
  19 #endif  // !JOS_KERN_MONITOR_H