Rework memory allocation flags [1/2]
[akaros.git] / kern / include / monitor.h
index 234317c..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
@@ -13,7 +12,6 @@ void monitor(struct hw_trapframe *hw_tf);
 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_bt(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);
@@ -40,5 +38,5 @@ 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);
-
-#endif // !ROS_KERN_MONITOR_H
+int mon_gfp(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_coreinfo(int argc, char **argv, struct hw_trapframe *hw_tf);