2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
25 #include <palacios/vmm_types.h>
26 #include <palacios/vmm_list.h>
27 #include <palacios/vmm_string.h>
28 #include <palacios/vmm_hashtable.h>
41 struct v3_device_ops * ops;
43 struct guest_info * vm;
45 struct list_head dev_link;
49 struct list_head io_hooks;
55 struct list_head dev_list;
57 struct hashtable * dev_table;
63 int v3_create_device(struct guest_info * info, const char * dev_name, void * cfg_data);
64 void v3_free_device(struct vm_device * dev);
67 struct vm_device * v3_find_dev(struct guest_info * info, const char * dev_name);
70 // Registration of devices
73 // The following device manager functions should only be called
74 // when the guest is stopped
79 int v3_init_dev_mgr(struct guest_info * info);
80 int v3_dev_mgr_deinit(struct guest_info * info);
85 int v3_init_devices();
88 struct v3_device_ops {
89 int (*free)(struct vm_device *dev);
92 int (*reset)(struct vm_device *dev);
94 int (*start)(struct vm_device *dev);
95 int (*stop)(struct vm_device *dev);
98 //int (*save)(struct vm_device *dev, struct *iostream);
99 //int (*restore)(struct vm_device *dev, struct *iostream);
107 int v3_dev_hook_io(struct vm_device *dev,
109 int (*read)(ushort_t port, void * dst, uint_t length, struct vm_device * dev),
110 int (*write)(ushort_t port, void * src, uint_t length, struct vm_device * dev));
112 int v3_dev_unhook_io(struct vm_device *dev,
116 int v3_attach_device(struct guest_info * vm, struct vm_device * dev);
117 int v3_detach_device(struct vm_device * dev);
119 struct vm_device * v3_allocate_device(char * name, struct v3_device_ops * ops, void * private_data);
122 struct v3_device_info {
124 int (*init)(struct guest_info * info, void * cfg_data);
128 #define device_register(name, init_dev_fn) \
129 static char _v3_device_name[] = name; \
130 static struct v3_device_info _v3_device \
131 __attribute__((__used__)) \
132 __attribute__((unused, __section__ ("_v3_devices"), \
133 aligned(sizeof(addr_t)))) \
134 = {_v3_device_name , init_dev_fn};
139 void PrintDebugDevMgr(struct guest_info * info);
140 void PrintDebugDev(struct vm_device * dev);
146 #endif // ! __V3VEE__