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, void * priv_data) {
38 struct debug_state * state = priv_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 debug_state * state = (struct debug_state *)priv_data;
54 int msg_len = info->vm_regs.rcx;
55 addr_t msg_gpa = info->vm_regs.rbx;
56 int buf_is_va = info->vm_regs.rdx;
58 if (msg_len >= BUF_SIZE) {
59 PrintError("Console message too large for buffer (len=%d)\n", msg_len);
64 if (v3_read_gva_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
65 PrintError("Could not read debug message\n");
69 if (v3_read_gpa_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
70 PrintError("Could not read debug message\n");
75 state->debug_buf[msg_len] = 0;
77 PrintDebug("VM_CONSOLE>%s\n", state->debug_buf);
84 static int debug_free(struct debug_state * state) {
86 // unregister hypercall
92 #ifdef V3_CONFIG_CHECKPOINT
93 static int debug_save(struct v3_chkpt_ctx * ctx, void * private_data) {
94 struct debug_state * dbg = (struct debug_state *)private_data;
96 V3_CHKPT_STD_SAVE(ctx, dbg->debug_buf);
97 V3_CHKPT_STD_SAVE(ctx, dbg->debug_offset);
103 static int debug_load(struct v3_chkpt_ctx * ctx, void * private_data) {
104 struct debug_state * dbg = (struct debug_state *)private_data;
106 V3_CHKPT_STD_LOAD(ctx, dbg->debug_buf);
107 V3_CHKPT_STD_LOAD(ctx, dbg->debug_offset);
116 static struct v3_device_ops dev_ops = {
117 .free = (int (*)(void *))debug_free,
118 #ifdef V3_CONFIG_CHECKPOINT
127 static int debug_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
128 struct debug_state * state = NULL;
129 char * dev_id = v3_cfg_val(cfg, "ID");
131 state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
133 PrintDebug("Creating OS Debug Device\n");
135 struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, state);
138 PrintError("Could not attach device %s\n", dev_id);
143 if (v3_dev_hook_io(dev, DEBUG_PORT1, NULL, &handle_gen_write) == -1) {
144 PrintError("Error hooking OS debug IO port\n");
145 v3_remove_device(dev);
149 v3_register_hypercall(vm, OS_DEBUG_HCALL, handle_hcall, state);
151 state->debug_offset = 0;
152 memset(state->debug_buf, 0, BUF_SIZE);
158 device_register("OS_DEBUG", debug_init)