]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/irq_controller.cpp
update
[l4.git] / kernel / fiasco / src / kern / irq_controller.cpp
index b69a56d6e41be8ca8af8ca8c5d28d9b1fdbd12f2..ee3db377b3d603bb4d315f491eaac08aa76946f2 100644 (file)
@@ -11,8 +11,6 @@ class Icu : public Icu_h<Icu>, public Kobject
   FIASCO_DECLARE_KOBJ();
 
   friend class Icu_h<Icu>;
-
-public:
 };
 
 
@@ -85,3 +83,12 @@ Icu::icu_get_msi_info(Mword msi, Utcb *out)
   return commit_result(0, 1);
 }
 
+
+PUBLIC inline
+Icu::Icu()
+{
+  initial_kobjects.register_obj(this, 6);
+}
+
+static Icu icu;
+