update

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

diff --git a/l4/pkg/io/server/src/hw_msi.h b/l4/pkg/io/server/src/hw_msi.h
index c625a29f81952f81871c301f3ebf81269611e7b7..de0f74e52e041e892b0265e4f011fadffcd0be7a 100644 (file)
--- a/l4/pkg/io/server/src/hw_msi.h
+++ b/l4/pkg/io/server/src/hw_msi.h
@@ -13,12 +13,16 @@
 #include "irqs.h"
 
 namespace Hw {
-  class Msi_resource : public Adr_resource, public Kernel_irq_pin
-  {
-  public:
-    Msi_resource(unsigned msi)
-    : Adr_resource(Resource::Irq_res | Resource::Irq_edge, msi, msi),
-      Kernel_irq_pin(msi |  L4::Icu::F_msi)
-    {}
-  };
+
+class Msi_resource : public Adr_resource, public Kernel_irq_pin
+{
+public:
+  Msi_resource(unsigned msi)
+  : Adr_resource(Resource::Irq_res | Resource::Irq_edge, msi, msi),
+    Kernel_irq_pin(msi |  L4::Icu::F_msi)
+  {}
+
+};
+
+
 }