Permissions on IDTs.
[akaros.git] / 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 // Activate the kernel monitor,
8 // optionally providing a trap frame indicating the current state
9 // (NULL if none).
10 void monitor(struct Trapframe *tf);
11
12 // Functions implementing monitor commands.
13 int mon_help(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
14 int mon_kerninfo(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
15 int mon_backtrace(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
16 int mon_reboot(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
17 int mon_showmapping(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
18 int mon_setmapperm(int argc, char *NTS *NT COUNT(argc) argv, struct Trapframe *tf);
19
20 #endif  // !JOS_KERN_MONITOR_H