]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/io/server/src/vmsi.h
update
[l4.git] / l4 / pkg / io / server / src / vmsi.h
index 3575806034bc508301feec7c256ec10682018ada..b1c89f9aed07494a80208204428626129e2572ee 100644 (file)
@@ -7,7 +7,7 @@ namespace Hw {
 }
 
 namespace Vi {
-  class Msi_resource : public Adr_resource
+  class Msi_resource : public Resource
   {
   private:
     Hw::Msi_resource *_hw_msi;