update on vnet host interface

diff --git a/palacios/include/palacios/vnet_interface.h b/palacios/include/palacios/vnet_interface.h
index 84e1f98..768cdd1 100644 (file)
--- a/palacios/include/palacios/vnet_interface.h
+++ b/palacios/include/palacios/vnet_interface.h
@@ -30,6 +30,7 @@ void v3_thread_kill(v3_thread *);
 void v3_thread_stop(v3_thread *);
 void v3_thread_continue(v3_thread *);
 
+void udelay(unsigned long usecs);
 
 // I know there is timer in palacios, but it has to be binded to specific VM, and the granularity is not
 // guaranteed