Monitor command to run the monitor on another core
[akaros.git] / kern / include / monitor.h
index 114e56f..a8e15b0 100644 (file)
@@ -7,19 +7,28 @@
 // Activate the kernel monitor,
 // optionally providing a trap frame indicating the current state
 // (NULL if none).
-void (IN_HANDLER monitor)(trapframe_t *tf);
+void monitor(trapframe_t *tf);
 
 // Functions implementing monitor commands.
 int mon_help(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_kerninfo(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_backtrace(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_ps(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_reboot(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_showmapping(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_setmapperm(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_cpuinfo(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_nanwan(int argc, char **argv, trapframe_t *tf);
+int mon_nanwan(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_kfs_ls(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_kfs_run(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_manager(int argc, char **argv, trapframe_t *tf);
+int mon_kfs_cat(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_manager(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_procinfo(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_exit(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_kfunc(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_notify(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_measure(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_trace(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
+int mon_monitor(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 
 #endif // !ROS_KERN_MONITOR_H