update

[l4.git] / l4 / pkg / io / server / src / vbus.h

diff --git a/l4/pkg/io/server/src/vbus.h b/l4/pkg/io/server/src/vbus.h
index 70719c2c2ca77855285e94f5fe25d67116cdc9bb..a1a2caa51365a8183866772c56e111ddbc00209f 100644 (file)
--- a/l4/pkg/io/server/src/vbus.h
+++ b/l4/pkg/io/server/src/vbus.h
@@ -56,8 +56,12 @@ public:
   Resource_set const *resource_set() const { return &_resources; }
   Resource_set *resource_set() { return &_resources; }
 
+  void set_host(Device *d) { _host = d; }
+  Device *host() const { return _host; }
+
 private:
   Resource_set _resources;
+  Device *_host;
 };
 
 }