From: Lei Xia Date: Wed, 4 May 2011 14:39:34 +0000 (-0500) Subject: update on vnet host interface X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=45177fca3e92d193d5d08c7bfb77e947f15a1502;p=palacios.git 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 --- 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