diff --git a/sys/platform/vkernel64/platform/systimer.c b/sys/platform/vkernel64/platform/systimer.c
--- a/sys/platform/vkernel64/platform/systimer.c
+++ b/sys/platform/vkernel64/platform/systimer.c
@@ -356,6 +356,8 @@ DELAY(int usec)
 void
 DRIVERSLEEP(int usec)
 {
+	if (usec <= 0)
+		return;
         if (mycpu->gd_intr_nesting_level)
 		DELAY(usec);
 	else if (1000000 / usec >= hz)