Update

[l4.git] / l4 / pkg / io / io / server / src / virt / vmsi.h

diff --git a/l4/pkg/io/io/server/src/virt/vmsi.h b/l4/pkg/io/io/server/src/virt/vmsi.h
new file mode 100644 (file)
index 0000000..b1c89f9
--- /dev/null
+++ b/l4/pkg/io/io/server/src/virt/vmsi.h
@@ -0,0 +1,20 @@
+#pragma once
+
+#include "resource.h"
+
+namespace Hw {
+  class Msi_resource;
+}
+
+namespace Vi {
+  class Msi_resource : public Resource
+  {
+  private:
+    Hw::Msi_resource *_hw_msi;
+
+  public:
+    Msi_resource(Hw::Msi_resource *hr);
+    Hw::Msi_resource *hw_msi() const { return _hw_msi; }
+  };
+
+}