l4/pkg/io/server/src/vmsi.h

   1 #pragma once
   2
   3 #include "resource.h"
   4
   5 namespace Hw {
   6   class Msi_resource;
   7 }
   8
   9 namespace Vi {
  10   class Msi_resource : public Resource
  11   {
  12   private:
  13     Hw::Msi_resource *_hw_msi;
  14
  15   public:
  16     Msi_resource(Hw::Msi_resource *hr);
  17     Hw::Msi_resource *hw_msi() const { return _hw_msi; }
  18   };
  19
  20 }