V3_Yield_Timed(usec) was renamed V3_Sleep(usec)

diff --git a/palacios/src/vnet/vnet_core.c b/palacios/src/vnet/vnet_core.c
index dd29034..d10d18a 100644 (file)
--- a/palacios/src/vnet/vnet_core.c
+++ b/palacios/src/vnet/vnet_core.c
@@ -1018,7 +1018,7 @@ static int vnet_tx_flush(void * args){
        if ((!VNET_ADAPTIVE_TX_KICK) || (noprogress_count < VNET_NOPROGRESS_LIMIT)) { 
            V3_Yield();
        } else {
-           V3_Yield_Timed(VNET_YIELD_USEC);
+           V3_Sleep(VNET_YIELD_USEC);
        }
 
     }