Rework memory allocation flags [1/2]
[akaros.git] / kern / include / monitor.h
index 8f277df..92a1f28 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_KERN_MONITOR_H
-#define ROS_KERN_MONITOR_H
+#pragma once
 #ifndef ROS_KERNEL
 # error "This is a ROS kernel header; user programs should not #include it"
 #endif
@@ -7,31 +6,37 @@
 // Activate the kernel monitor,
 // optionally providing a trap frame indicating the current state
 // (NULL if none).
-void monitor(trapframe_t *tf);
+void monitor(struct hw_trapframe *hw_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 *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_bin_ls(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_bin_run(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);
-int mon_fs(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_bb(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_alarm(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_bcq(int argc, char **argv, struct trapframe *tf);
-
-#endif // !ROS_KERN_MONITOR_H
+int mon_help(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_kerninfo(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_backtrace(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_ps(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_reboot(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_showmapping(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_sm(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_cpuinfo(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_nanwan(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_bin_ls(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_bin_run(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_manager(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_procinfo(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_pip(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_kill(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_exit(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_kfunc(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_notify(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_measure(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_trace(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_monitor(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_fs(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_bb(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_alarm(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_msr(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_db(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_px(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_kpfret(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_ks(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_gfp(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_coreinfo(int argc, char **argv, struct hw_trapframe *hw_tf);