Add a monitor command gfp to get free pages
[akaros.git] / kern / include / monitor.h
index 234317c..c8f5c34 100644 (file)
@@ -40,5 +40,6 @@ 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);
 
 #endif // !ROS_KERN_MONITOR_H