added dedicated debugging framework with associated interface

[palacios.git] / linux_usr / v3_ctrl.h

diff --git a/linux_usr/v3_ctrl.h b/linux_usr/v3_ctrl.h
index e904263..97cb0fd 100644 (file)
--- a/linux_usr/v3_ctrl.h
+++ b/linux_usr/v3_ctrl.h
@@ -56,6 +56,11 @@ struct v3_core_move_cmd{
 } __attribute__((packed));
 
 
+struct v3_debug_cmd {
+    unsigned int core; 
+    unsigned int cmd;
+} __attribute__((packed));
+
 struct v3_chkpt_info {
     char store[128];
     char url[256]; /* This might need to be bigger... */