+/*
+ * This file is part of the Palacios Virtual Machine Monitor developed
+ * by the V3VEE Project with funding from the United States National
+ * Science Foundation and the Department of Energy.
+ *
+ * The V3VEE Project is a joint project between Northwestern University
+ * and the University of New Mexico. You can find out more at
+ * http://www.v3vee.org
+ *
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
+ * All rights reserved.
+ *
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * This is free software. You are permitted to use,
+ * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+ */
+
#ifndef _VMM_DEV_MGR
#define _VMM_DEV_MGR
+#ifdef __V3VEE__
+
#include <palacios/vmm_types.h>
-#include <palacios/vmm_device_types.h>
#include <palacios/vmm_list.h>
#include <palacios/vmm_string.h>
+#include <palacios/vmm_hashtable.h>
+#include <palacios/vmm_msr.h>
+#include <palacios/vmm_config.h>
+#include <palacios/vmm_ethernet.h>
+#ifdef V3_CONFIG_CHECKPOINT
+#include <palacios/vmm_checkpoint.h>
+#endif
-struct vm_device;
-struct guest_info;
+struct v3_vm_info;
-struct vm_dev_list {
- struct vm_device * head;
- uint_t num_devs;
-};
+struct v3_device_ops;
+typedef void * v3_dev_data_t;
-struct dev_io_hook_list {
- struct dev_io_hook * head;
- uint_t num_hooks;
-};
+struct vm_device;
+struct vm_device {
+ char name[32];
+
+ void * private_data;
-struct dev_mem_hook_list {
- struct dev_mem_hook * head;
- uint_t num_hooks;
-};
+ struct v3_device_ops * ops;
+ struct v3_vm_info * vm;
+ struct list_head dev_link;
-struct vmm_dev_mgr {
- struct vm_dev_list dev_list;
- struct dev_io_hook_list io_hooks;
- struct dev_mem_hook_list mem_hooks;
+ uint_t num_res_hooks;
+ struct list_head res_hooks;
};
+struct vmm_dev_mgr {
+ uint_t num_devs;
+ struct list_head dev_list;
+ struct hashtable * dev_table;
-struct dev_io_hook {
- ushort_t port;
-
- int (*read)(ushort_t port, void * dst, uint_t length, struct vm_device * dev);
- int (*write)(ushort_t port, void * src, uint_t length, struct vm_device * dev);
+ struct list_head blk_list;
+ struct hashtable * blk_table;
- struct vm_device * dev;
+ struct list_head net_list;
+ struct hashtable * net_table;
- // Do not touch anything below this
- struct dev_io_hook *dev_next, *dev_prev;
- struct dev_io_hook *mgr_next, *mgr_prev;
-};
+ struct list_head char_list;
+ struct hashtable * char_table;
-struct dev_mem_hook {
- void *addr_start;
- void *addr_end;
+ struct list_head cons_list;
+ struct hashtable * cons_table;
- // Do not touch anything below this
- struct dev_mem_hook *dev_next, *dev_prev;
- struct dev_mem_hook *mgr_next, *mgr_prev;
};
+int v3_create_device(struct v3_vm_info * vm, const char * dev_name, v3_cfg_tree_t * cfg);
+
+struct vm_device * v3_find_dev(struct v3_vm_info * info, const char * dev_name);
// Registration of devices
// when the guest is stopped
//
-int dev_mgr_init(struct vmm_dev_mgr *mgr);
-int dev_mgr_deinit(struct vmm_dev_mgr * mgr);
+int v3_init_dev_mgr(struct v3_vm_info * vm);
+int v3_deinit_dev_mgr(struct v3_vm_info * vm);
+
+int v3_free_vm_devices(struct v3_vm_info * vm);
+
+#ifdef V3_CONFIG_CHECKPOINT
+int v3_save_vm_devices(struct v3_vm_info * vm, struct v3_chkpt * chkpt);
+int v3_load_vm_devices(struct v3_vm_info * vm, struct v3_chkpt * chkpt);
+#endif
+
+
+
+int V3_init_devices();
+int V3_deinit_devices();
+
+
+struct v3_device_ops {
+ int (*free)(void * private_data);
+
+#ifdef V3_CONFIG_CHECKPOINT
+ int (*save)(struct v3_chkpt_ctx * ctx, void * private_data);
+ int (*load)(struct v3_chkpt_ctx * ctx, void * privata_data);
+#endif
+};
+
+
+
+
+
+
+int v3_dev_hook_io(struct vm_device * dev,
+ uint16_t port,
+ int (*read)(struct guest_info * core, uint16_t port, void * dst, uint_t length, void * priv_data),
+ int (*write)(struct guest_info * core, uint16_t port, void * src, uint_t length, void * priv_data));
+
+int v3_dev_unhook_io(struct vm_device * dev,
+ uint16_t port);
+
+
+int v3_dev_hook_msr(struct vm_device * dev,
+ uint32_t msr,
+ int (*read)(struct guest_info * core, uint32_t msr, struct v3_msr * dst, void * priv_data),
+ int (*write)(struct guest_info * core, uint32_t msr, struct v3_msr src, void * priv_data));
+
+int v3_dev_unhook_msr(struct vm_device * dev,
+ uint32_t msr);
+
+
+
+
+struct vm_device * v3_add_device(struct v3_vm_info * vm, char * name,
+ struct v3_device_ops * ops, void * private_data);
+int v3_remove_device(struct vm_device * dev);
+
+
+int v3_attach_device(struct v3_vm_info * vm, struct vm_device * dev);
+int v3_detach_device(struct vm_device * dev);
+struct vm_device * v3_allocate_device(char * name, struct v3_device_ops * ops, void * private_data);
+
+
+struct v3_device_info {
+ char * name;
+ int (*init)(struct v3_vm_info * info, v3_cfg_tree_t * cfg);
+};
+
+
+#define device_register(name, init_dev_fn) \
+ static char _v3_device_name[] = name; \
+ static struct v3_device_info _v3_device \
+ __attribute__((__used__)) \
+ __attribute__((unused, __section__ ("_v3_devices"), \
+ aligned(sizeof(addr_t)))) \
+ = {_v3_device_name , init_dev_fn};
+
+
+
+
+void v3_print_dev_mgr(struct v3_vm_info * vm);
+
+
+struct v3_dev_blk_ops {
+ uint64_t (*get_capacity)(void * private_data);
+ // Reads always operate on 2048 byte blocks
+ int (*read)(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data);
+ int (*write)(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data);
+};
+
+
+struct v3_dev_net_ops_cfg{
+ void * frontend_data;
+ char * fnt_mac;
+ int quote;
+ int poll; /* need poll? */
+};
+
+struct v3_dev_net_ops {
+ /* Backend implemented functions */
+ int (*send)(uint8_t * buf, uint32_t len, void * private_data);
+
+ /* Frontend implemented functions */
+ int (*recv)(uint8_t * buf, uint32_t len, void * frnt_data);
+ int (*poll)(int quote, void * frnt_data);
+
+ /* This is ugly... */
+ struct v3_dev_net_ops_cfg config;
+};
+
+struct v3_dev_console_ops {
+ int (*update_screen)(uint_t x, uint_t y, uint_t length, uint8_t * fb_data, void * private_data);
+ int (*update_cursor)(uint_t x, uint_t y, void * private_data);
+ int (*scroll)(int rows, void * private_data);
+ int (*set_text_resolution)(int cols, int rows, void * private_data);
+
+ /* frontend implemented functions */
+ int (*get_screen)(uint_t x, uint_t y, uint_t length, void * frontend_data);
+ void * push_fn_arg;
+};
+
+struct v3_dev_char_ops {
+ /* Backend implemented functions */
+ uint64_t (*output)(uint8_t * buf, uint64_t len, void * private_data);
+ // int (*read)(uint8_t * buf, uint64_t len, void * private_data);
+
+ /* Frontend Implemented functions */
+ uint64_t (*input)(struct v3_vm_info * vm, uint8_t * buf, uint64_t len, void * private_data);
+};
+
+
+int v3_dev_add_blk_frontend(struct v3_vm_info * vm,
+ char * name,
+ int (*connect)(struct v3_vm_info * vm,
+ void * frontend_data,
+ struct v3_dev_blk_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data),
+ void * priv_data);
+
+int v3_dev_connect_blk(struct v3_vm_info * vm,
+ char * frontend_name,
+ struct v3_dev_blk_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data);
+
+int v3_dev_add_net_frontend(struct v3_vm_info * vm,
+ char * name,
+ int (*connect)(struct v3_vm_info * vm,
+ void * frontend_data,
+ struct v3_dev_net_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data),
+ void * priv_data);
+
+int v3_dev_connect_net(struct v3_vm_info * vm,
+ char * frontend_name,
+ struct v3_dev_net_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data);
+
+
+
+
+int v3_dev_add_console_frontend(struct v3_vm_info * vm,
+ char * name,
+ int (*connect)(struct v3_vm_info * vm,
+ void * frontend_data,
+ struct v3_dev_console_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data),
+ void * priv_data);
+
+int v3_dev_connect_console(struct v3_vm_info * vm,
+ char * frontend_name,
+ struct v3_dev_console_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data);
+
-int attach_device(struct guest_info *vm, struct vm_device * dev);
-int unattach_device(struct vm_device *dev);
+int v3_dev_add_char_frontend(struct v3_vm_info * vm,
+ char * name,
+ int (*connect)(struct v3_vm_info * vm,
+ void * frontend_data,
+ struct v3_dev_char_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data,
+ void ** push_fn_arg),
+ void * priv_data);
-int dev_mgr_add_device(struct vmm_dev_mgr * mgr, struct vm_device * dev);
-int dev_mgr_remove_device(struct vmm_dev_mgr * mgr, struct vm_device * dev);
+int v3_dev_connect_char(struct v3_vm_info * vm,
+ char * frontend_name,
+ struct v3_dev_char_ops * ops,
+ v3_cfg_tree_t * cfg,
+ void * private_data,
+ void ** push_fn_arg);
-void PrintDebugDevMgr(struct vmm_dev_mgr * mgr);
-void PrintDebugDev(struct vm_device * dev);
-void PrintDebugDevIO(struct vm_device * dev);
-void PrintDebugDevMgrIO(struct vmm_dev_mgr * mgr);
+#endif // ! __V3VEE__
#endif
