minios: Revert 16206:7b5b65fbaf61 (xenbus wait fixup)

Already fixed by 14432:f40079acf646.

diff --git a/extras/mini-os/xenbus/xenbus.c b/extras/mini-os/xenbus/xenbus.c
index dd475b3ed5c556c1f85ec5a73374e021353e8bdf..d0dddad64ef4a7a286f000ad2b3f153fb1d03470 100644 (file)
--- a/extras/mini-os/xenbus/xenbus.c
+++ b/extras/mini-os/xenbus/xenbus.c
@@ -79,7 +79,6 @@ void wait_for_watch(void)
     schedule();
     remove_waiter(w);
     wake(current);
-    remove_wait_queue(&w);
 }
 
 char* xenbus_wait_for_value(const char* path,const char* value)