-#ifndef _vmm_dev_mgr
-#define _vmm_dev_mgr
+/*
+ * 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".
+ */
-#include <palacios/vmm_types.h>
-#include <palacios/vmm_device_types.h>
+#ifndef _VMM_DEV_MGR
+#define _VMM_DEV_MGR
-struct vm_device;
-struct guest_info;
+#ifdef __V3VEE__
+#include <palacios/vmm_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>
-struct vmm_dev_mgr {
- struct guest_info *vm;
- struct vm_device *dev_list;
- uint_t num_devices;
-};
+#ifdef V3_CONFIG_CHECKPOINT
+#include <palacios/vmm_checkpoint.h>
+#endif
+struct v3_vm_info;
-enum access_control {DEVICE_EMULATED, DEVICE_PASSTHROUGH} ;
-enum access_type {DEVICE_READ, DEVICE_WRITE, DEVICE_READWRITE} ;
+struct v3_device_ops;
-struct vm_device_io_hook {
- enum access_control control;
- enum access_type atype;
+typedef void * v3_dev_data_t;
- ushort_t guest_port;
+struct vm_device;
- // Do not touch anything below this
+struct vm_device {
+ char name[32];
- struct vm_device_io_hook *next, *prev;
+ void * private_data;
+
+ struct v3_device_ops * ops;
+
+ struct v3_vm_info * vm;
+
+ struct list_head dev_link;
+
+ uint_t num_res_hooks;
+ struct list_head res_hooks;
};
-struct vm_device_mem_hook {
- enum access_control control;
- enum access_type atype;
- void *guest_physical_start;
- void *guest_physical_end;
+struct vmm_dev_mgr {
+ uint_t num_devs;
+ struct list_head dev_list;
+ struct hashtable * dev_table;
- // Do not touch anything below this
-
- struct vm_device_mem_hook *next, *prev;
+ struct list_head blk_list;
+ struct hashtable * blk_table;
+
+ struct list_head net_list;
+ struct hashtable * net_table;
+
+ struct list_head char_list;
+ struct hashtable * char_table;
+
+ struct list_head cons_list;
+ struct hashtable * cons_table;
};
+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, struct guest_info *vm);
-int dev_mgr_deinit(struct vmm_dev_mgr *mgr);
-int dev_mgr_attach_device(struct guest_info *vm,
- struct vm_device *device);
-int dev_mgr_detach_device(struct guest_info *vm,
- struct vm_device *device);
+int v3_init_dev_mgr(struct v3_vm_info * vm);
+int v3_deinit_dev_mgr(struct v3_vm_info * vm);
-int dev_mgr_hook_io(struct guest_info *vm,
- struct vm_device *device,
- ushort_t portno,
- enum access_control control,
- enum access_type atype);
+int v3_free_vm_devices(struct v3_vm_info * vm);
-int dev_mgr_unhook_io(struct guest_info *vm,
- struct vm_device *device,
- ushort_t portno);
+#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 dev_mgr_hook_mem(struct guest_info *vm,
- struct vm_device *device,
- void *guest_physical_address_start,
- void *guest_physical_address_end,
- enum access_control control,
- enum access_type atype);
-int dev_mgr_unhook_mem(struct guest_info *vm,
- struct vm_device *device,
- void *guest_physical_address_start,
- void *guest_physical_address_end);
-//
-// Strictly a helper - the device is resposible for unhooking on disconnect
-//
+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 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 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);
-int dev_mgr_unhook_device(struct guest_info *vm,
- struct vm_device *device);
+#endif // ! __V3VEE__
#endif
