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 #define HEARTBEAT_PORT 0x99
  30
  31 struct debug_state {
  32     char debug_buf[BUF_SIZE];
  33     uint_t debug_offset;
  34
  35 };
  36
  37
  38 static int handle_gen_write(struct guest_info * core, ushort_t port, void * src, uint_t length, void * priv_data) {
  39     struct debug_state * state = priv_data;
  40
  41     state->debug_buf[state->debug_offset++] = *(char*)src;
  42
  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;
  47     }
  48
  49     return length;
  50 }
  51
  52 static int handle_hb_write(struct guest_info * core, ushort_t port, void * src, uint_t length, void * priv_data) {
  53     uint32_t val = 0;
  54
  55     if (length == 1) {
  56         val = *(uint8_t *)src;
  57     } else if (length == 2) {
  58         val = *(uint16_t *)src;
  59     } else {
  60         val = *(uint32_t *)src;
  61     }
  62
  63     V3_Print("HEARTBEAT> %x (%d)\n", val, val);
  64
  65     return length;
  66 }
  67
  68 static int handle_hcall(struct guest_info * info, uint_t hcall_id, void * priv_data) {
  69     struct debug_state * state = (struct debug_state *)priv_data;
  70
  71     int msg_len = info->vm_regs.rcx;
  72     addr_t msg_gpa = info->vm_regs.rbx;
  73     int buf_is_va = info->vm_regs.rdx;
  74
  75     if (msg_len >= BUF_SIZE) {
  76         PrintError("Console message too large for buffer (len=%d)\n", msg_len);
  77         return -1;
  78     }
  79
  80     if (buf_is_va == 1) {
  81         if (v3_read_gva_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
  82             PrintError("Could not read debug message\n");
  83             return -1;
  84         }
  85     } else {
  86         if (v3_read_gpa_memory(info, msg_gpa, msg_len, (uchar_t *)state->debug_buf) != msg_len) {
  87             PrintError("Could not read debug message\n");
  88             return -1;
  89         }
  90     }
  91
  92     state->debug_buf[msg_len] = 0;
  93
  94     PrintDebug("VM_CONSOLE>%s\n", state->debug_buf);
  95
  96     return 0;
  97 }
  98
  99
 100
 101 static int debug_free(struct debug_state * state) {
 102
 103     // unregister hypercall
 104
 105     V3_Free(state);
 106     return 0;
 107 };
 108
 109 #ifdef V3_CONFIG_CHECKPOINT
 110 static int debug_save(struct v3_chkpt_ctx * ctx, void * private_data) {
 111     struct debug_state * dbg = (struct debug_state *)private_data;
 112
 113     V3_CHKPT_STD_SAVE(ctx, dbg->debug_buf);
 114     V3_CHKPT_STD_SAVE(ctx, dbg->debug_offset);
 115
 116     return 0;
 117 }
 118
 119
 120 static int debug_load(struct v3_chkpt_ctx * ctx, void * private_data) {
 121     struct debug_state * dbg = (struct debug_state *)private_data;
 122
 123     V3_CHKPT_STD_LOAD(ctx, dbg->debug_buf);
 124     V3_CHKPT_STD_LOAD(ctx, dbg->debug_offset);
 125
 126     return 0;
 127 }
 128
 129 #endif
 130
 131
 132
 133 static struct v3_device_ops dev_ops = {
 134     .free = (int (*)(void *))debug_free,
 135 #ifdef V3_CONFIG_CHECKPOINT
 136     .save = debug_save,
 137     .load = debug_load
 138 #endif
 139 };
 140
 141
 142
 143
 144 static int debug_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
 145     struct debug_state * state = NULL;
 146     char * dev_id = v3_cfg_val(cfg, "ID");
 147
 148     state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
 149
 150     if (!state) {
 151         PrintError("Cannot allocate in init\n");
 152         return -1;
 153     }
 154
 155     PrintDebug("Creating OS Debug Device\n");
 156
 157     struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, state);
 158
 159     if (dev == NULL) {
 160         PrintError("Could not attach device %s\n", dev_id);
 161         V3_Free(state);
 162         return -1;
 163     }
 164
 165     if (v3_dev_hook_io(dev, DEBUG_PORT1,  NULL, &handle_gen_write) == -1) {
 166         PrintError("Error hooking OS debug IO port\n");
 167         v3_remove_device(dev);
 168         return -1;
 169     }
 170
 171
 172     if (v3_dev_hook_io(dev, HEARTBEAT_PORT, NULL, &handle_hb_write) == -1) {
 173         PrintError("error hooking OS heartbeat port\n");
 174         v3_remove_device(dev);
 175         return -1;
 176     }
 177
 178     v3_register_hypercall(vm, OS_DEBUG_HCALL, handle_hcall, state);
 179
 180     state->debug_offset = 0;
 181     memset(state->debug_buf, 0, BUF_SIZE);
 182
 183     return 0;
 184 }
 185
 186
 187 device_register("OS_DEBUG", debug_init)