Update

[l4.git] / l4 / pkg / vmm / server / src / mmio_device.h

diff --git a/l4/pkg/vmm/server/src/mmio_device.h b/l4/pkg/vmm/server/src/mmio_device.h
index 3963c14f67e327b64257678ff5920eaa1ece59f5..73436a6db7b7c114dd6c660a25adcc0ad661976f 100644 (file)
--- a/l4/pkg/vmm/server/src/mmio_device.h
+++ b/l4/pkg/vmm/server/src/mmio_device.h
@@ -1,17 +1,30 @@
+/*
+ * (c) 2013-2014 Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
+ * This file is part of TUD:OS and distributed under the terms of the
+ * GNU General Public License 2.
+ * Please see the COPYING-GPL-2 file for details.
+ */
 #pragma once
 
 #include <l4/sys/task>
 
-#include <l4/sys/vcpu.h>
 #include <l4/sys/l4int.h>
 #include <l4/sys/types.h>
 
+#include "vcpu.h"
+
 namespace Vmm {
 
 struct Mmio_device
 {
-  virtual bool access(l4_addr_t pfa, l4_addr_t offset, l4_vcpu_state_t *vcpu,
+  virtual ~Mmio_device() = 0;
+
+  virtual bool access(l4_addr_t pfa, l4_addr_t offset, Cpu vcpu,
                       L4::Cap<L4::Task> vm_task, l4_addr_t s, l4_addr_t e) = 0;
 };
 
+inline Mmio_device::~Mmio_device() = default;
+
 }