+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
#ifndef _VMM_DEV_MGR
#define _VMM_DEV_MGR
+#ifdef __V3VEE__
+
#include <palacios/vmm_types.h>
#include <palacios/vmm_list.h>
#include <palacios/vmm_string.h>
struct vm_device;
struct guest_info;
+
struct vmm_dev_mgr {
uint_t num_devs;
struct list_head dev_list;
};
-int dev_mgr_init(struct vmm_dev_mgr *mgr);
-int dev_mgr_deinit(struct vmm_dev_mgr * mgr);
-
// Registration of devices
int v3_unattach_device(struct vm_device *dev);
-void PrintDebugDevMgr(struct vmm_dev_mgr * mgr);
-#ifdef __V3VEE__
+
+
struct dev_io_hook {
ushort_t port;
};
+int dev_mgr_init(struct guest_info * info);
+int dev_mgr_deinit(struct guest_info * info);
-
+void PrintDebugDevMgr(struct guest_info * info);
void PrintDebugDev(struct vm_device * dev);
void PrintDebugDevIO(struct vm_device * dev);
void PrintDebugDevMgrIO(struct vmm_dev_mgr * mgr);