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".
22 #include <palacios/vmm.h>
23 #include <palacios/vmm_dev_mgr.h>
24 #include <palacios/vm_guest_mem.h>
28 #define DEBUG_PORT1 0xc0c0
31 char debug_buf[BUF_SIZE];
37 static int handle_gen_write(struct guest_info * core, ushort_t port, void * src, uint_t length, struct vm_device * dev) {
38 struct debug_state * state = (struct debug_state *)dev->private_data;
40 state->debug_buf[state->debug_offset++] = *(char*)src;
42 if ((*(char*)src == 0xa) || (state->debug_offset == (BUF_SIZE - 1))) {
43 PrintDebug("VM_CONSOLE>%s", state->debug_buf);
44 memset(state->debug_buf, 0, BUF_SIZE);
45 state->debug_offset = 0;
51 static int handle_hcall(struct guest_info * info, uint_t hcall_id, void * priv_data) {
52 struct vm_device * dev = (struct vm_device *)priv_data;
53 struct debug_state * state = (struct debug_state *)dev->private_data;
55 int msg_len = info->vm_regs.rcx;
56 addr_t msg_gpa = info->vm_regs.rbx;
57 int buf_is_va = info->vm_regs.rdx;
59 if (msg_len >= BUF_SIZE) {
60 PrintError("Console message too large for buffer (len=%d)\n", msg_len);
65 if (v3_read_gva_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
66 PrintError("Could not read debug message\n");
70 if (v3_read_gpa_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
71 PrintError("Could not read debug message\n");
76 state->debug_buf[msg_len] = 0;
78 PrintDebug("VM_CONSOLE>%s\n", state->debug_buf);
85 static int debug_free(struct vm_device * dev) {
86 v3_dev_unhook_io(dev, DEBUG_PORT1);
95 static struct v3_device_ops dev_ops = {
105 static int debug_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
106 struct debug_state * state = NULL;
107 char * name = v3_cfg_val(cfg, "name");
109 state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
111 PrintDebug("Creating OS Debug Device\n");
113 struct vm_device * dev = v3_allocate_device(name, &dev_ops, state);
116 if (v3_attach_device(vm, dev) == -1) {
117 PrintError("Could not attach device %s\n", name);
121 v3_dev_hook_io(dev, DEBUG_PORT1, NULL, &handle_gen_write);
122 v3_register_hypercall(vm, OS_DEBUG_HCALL, handle_hcall, dev);
124 state->debug_offset = 0;
125 memset(state->debug_buf, 0, BUF_SIZE);
131 device_register("OS_DEBUG", debug_init)