l4/pkg/io/io/server/src/virt/vmsi.cc

   1 /*
   2  * (c) 2011 Alexander Warg <warg@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  */
   9
  10 #include "vbus_factory.h"
  11 #include "resource.h"
  12 #include "hw_msi.h"
  13 #include "vmsi.h"
  14 #include "debug.h"
  15
  16 namespace Vi {
  17   Msi_resource::Msi_resource(Hw::Msi_resource *hr)
  18   : Resource(Resource::Irq_res | Resource::Irq_type_falling_edge
  19              | Resource::F_disabled | F_can_move, 0, 0), _hw_msi(hr)
  20   {
  21     set_id(hr->id());
  22     d_printf(DBG_ALL, "Create virtual MSI wrapper for MSI %lld\n", _hw_msi->start());
  23   }
  24 }
  25
  26 namespace {
  27   static Vi::Resource_factory_t<Vi::Msi_resource, Hw::Msi_resource> __vmsifactory;
  28 }
  29