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
29 #define DEBUG_HCALL 0xc0c0
32 char debug_buf[BUF_SIZE];
38 static int handle_gen_write(ushort_t port, void * src, uint_t length, struct vm_device * dev) {
39 struct debug_state * state = (struct debug_state *)dev->private_data;
41 state->debug_buf[state->debug_offset++] = *(char*)src;
43 if ((*(char*)src == 0xa) || (state->debug_offset == (BUF_SIZE - 1))) {
44 PrintDebug("VM_CONSOLE>%s", state->debug_buf);
45 memset(state->debug_buf, 0, BUF_SIZE);
46 state->debug_offset = 0;
52 static int handle_hcall(struct guest_info * info, uint_t hcall_id, void * priv_data) {
53 struct vm_device * dev = (struct vm_device *)priv_data;
54 struct debug_state * state = (struct debug_state *)dev->private_data;
56 int msg_len = info->vm_regs.rcx;
57 addr_t msg_gpa = info->vm_regs.rbx;
59 if (msg_len >= BUF_SIZE) {
60 PrintError("Console message too large for buffer (len=%d)\n", msg_len);
64 if (read_guest_pa_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
65 PrintError("Could not read debug message\n");
69 state->debug_buf[msg_len] = 0;
71 PrintDebug("VM_CONSOLE>%s\n", state->debug_buf);
78 static int debug_free(struct vm_device * dev) {
79 v3_dev_unhook_io(dev, DEBUG_PORT1);
88 static struct v3_device_ops dev_ops = {
98 static int debug_init(struct guest_info * vm, void * cfg_data) {
99 struct debug_state * state = NULL;
101 state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
103 PrintDebug("Creating OS Debug Device\n");
105 struct vm_device * dev = v3_allocate_device("OS_DEBUG", &dev_ops, state);
108 if (v3_attach_device(vm, dev) == -1) {
109 PrintError("Could not attach device %s\n", "OS_DEBUG");
113 v3_dev_hook_io(dev, DEBUG_PORT1, NULL, &handle_gen_write);
114 v3_register_hypercall(vm, DEBUG_HCALL, handle_hcall, dev);
116 state->debug_offset = 0;
117 memset(state->debug_buf, 0, BUF_SIZE);
123 device_register("OS_DEBUG", debug_init)