X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_user_host_dev.h;h=91bbc73dcb637ee14274ab066120001dcbdd85e2;hb=b0056428ce1c60d7d9b6ac0a2cd11df597b58a92;hp=b761773efb7354ac3da7d2d8ecff0a7bb16298d3;hpb=276cfa264720edddc1677e35c6a300596965de7d;p=palacios.git

diff --git a/linux_usr/v3_user_host_dev.h b/linux_usr/v3_user_host_dev.h
index b761773..91bbc73 100644
--- a/linux_usr/v3_user_host_dev.h
+++ b/linux_usr/v3_user_host_dev.h
@@ -2,6 +2,7 @@
 #define _V3_USER_HOST_DEV_
 
 #include <stdint.h>
+#include "v3_ctrl.h"
 #include "iface-host-dev.h"
 
 int v3_user_host_dev_rendezvous(char *vmdev, char *url); // returns devfd for use in poll/select