update

[l4.git] / l4 / pkg / libio-io / lib / src / io.cc

diff --git a/l4/pkg/libio-io/lib/src/io.cc b/l4/pkg/libio-io/lib/src/io.cc
index c6d42784bc9beea3f10e193a0fa500b9b2c15882..2d7e93d7ea242c3688cbdffd3e2d711917876ff6 100644 (file)
--- a/l4/pkg/libio-io/lib/src/io.cc
+++ b/l4/pkg/libio-io/lib/src/io.cc
@@ -232,6 +232,9 @@ int
 l4io_iterate_devices(l4io_device_handle_t *devhandle,
                      l4io_device_t *dev, l4io_resource_handle_t *reshandle)
 {
+  if (!vbus().is_valid())
+    return -L4_ENOENT;
+
   if (reshandle)
     *reshandle = 0;