x86: Rename VPD (XCC)
[akaros.git] / kern / include / monitor.h
index 94c8f0d..be498dc 100644 (file)
@@ -8,6 +8,8 @@
 // (NULL if none).
 void monitor(struct hw_trapframe *hw_tf);
 void emit_monitor_backtrace(int type, void *tf);
+int onecmd(int argc, char *argv[], struct hw_trapframe *hw_tf);
+void __run_mon(uint32_t srcid, long a0, long a1, long a2);
 
 // Functions implementing monitor commands.
 int mon_help(int argc, char **argv, struct hw_trapframe *hw_tf);
@@ -39,5 +41,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);
 int mon_coreinfo(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_hexdump(int argc, char **argv, struct hw_trapframe *hw_tf);
+int mon_pahexdump(int argc, char **argv, struct hw_trapframe *hw_tf);