Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


97cdabc30cd5ec8e293e0d5f1f94e34f5f94efcb
[palacios.git] / palacios / src / devices / os_debug.c
1 /* 
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.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
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.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20
21
22 #include <palacios/vmm.h>
23 #include <palacios/vmm_dev_mgr.h>
24 #include <palacios/vm_guest_mem.h>
25
26 #define BUF_SIZE 1024
27
28 #define DEBUG_PORT1 0xc0c0
29
30 struct debug_state {
31     char debug_buf[BUF_SIZE];
32     uint_t debug_offset;
33
34 };
35
36
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;
39
40     state->debug_buf[state->debug_offset++] = *(char*)src;
41
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;
46     }
47
48     return length;
49 }
50
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;
53
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;
57
58     if (msg_len >= BUF_SIZE) {
59         PrintError("Console message too large for buffer (len=%d)\n", msg_len);
60         return -1;
61     }
62
63     if (buf_is_va == 1) {
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");
66             return -1;
67         }
68     } else {
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");
71             return -1;
72         }
73     }   
74
75     state->debug_buf[msg_len] = 0;
76
77     PrintDebug("VM_CONSOLE>%s\n", state->debug_buf);
78
79     return 0;
80 }
81
82
83
84 static int debug_free(struct debug_state * state) {
85
86     // unregister hypercall
87
88     V3_Free(state);
89     return 0;
90 };
91
92
93
94
95 static struct v3_device_ops dev_ops = {
96     .free = (int (*)(void *))debug_free,
97 };
98
99
100
101
102 static int debug_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
103     struct debug_state * state = NULL;
104     char * dev_id = v3_cfg_val(cfg, "ID");
105
106     state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
107
108     PrintDebug("Creating OS Debug Device\n");
109
110     struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, state);
111
112     if (dev == NULL) {
113         PrintError("Could not attach device %s\n", dev_id);
114         V3_Free(state);
115         return -1;
116     }
117
118     if (v3_dev_hook_io(dev, DEBUG_PORT1,  NULL, &handle_gen_write) == -1) {
119         PrintError("Error hooking OS debug IO port\n");
120         v3_remove_device(dev);
121         return -1;
122     }
123
124     v3_register_hypercall(vm, OS_DEBUG_HCALL, handle_hcall, state);
125
126     state->debug_offset = 0;
127     memset(state->debug_buf, 0, BUF_SIZE);
128   
129     return 0;
130 }
131
132
133 device_register("OS_DEBUG", debug_init)