added host_pci passthrough PCI support

[palacios.git] / linux_usr / v3_ctrl.h

diff --git a/linux_usr/v3_ctrl.h b/linux_usr/v3_ctrl.h
index 6522b34..aae3af6 100644 (file)
--- a/linux_usr/v3_ctrl.h
+++ b/linux_usr/v3_ctrl.h
@@ -6,9 +6,16 @@
 #ifndef _v3_ctrl_h
 #define _v3_ctrl_h
 
+
+/* Global Control IOCTLs */
 #define V3_CREATE_GUEST 12
 #define V3_FREE_GUEST 13
 
+#define V3_ADD_MEMORY 50
+#define V3_ADD_PCI_HW_DEV 55
+#define V3_ADD_PCI_USER_DEV 56
+
+/* VM Specific IOCTLs */
 
 /* VM Specific ioctls */
 #define V3_VM_CONSOLE_CONNECT 20
@@ -24,7 +31,6 @@
 #define V3_VM_INSPECT 30
 #define V3_VM_DEBUG 31
 
-#define V3_ADD_MEMORY 50
 
 #define V3_VM_MOVE_CORE 33
 
@@ -69,4 +75,14 @@ struct v3_chkpt_info {
     char url[256]; /* This might need to be bigger... */
 } __attribute__((packed));
 
+
+
+struct v3_hw_pci_dev {
+    char url[128];
+    unsigned int bus;
+    unsigned int dev;
+    unsigned int func;
+} __attribute__((packed));
+
+
 #endif