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 vm_device * dev) {
  85
  86     return 0;
  87 };
  88
  89
  90
  91
  92 static struct v3_device_ops dev_ops = {
  93     .free = debug_free,
  94 };
  95
  96
  97
  98
  99 static int debug_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
 100     struct debug_state * state = NULL;
 101     char * dev_id = v3_cfg_val(cfg, "ID");
 102
 103     state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
 104
 105     PrintDebug("Creating OS Debug Device\n");
 106
 107     struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, state);
 108
 109
 110     if (v3_attach_device(vm, dev) == -1) {
 111         PrintError("Could not attach device %s\n", dev_id);
 112         return -1;
 113     }
 114
 115     v3_dev_hook_io(dev, DEBUG_PORT1,  NULL, &handle_gen_write);
 116     v3_register_hypercall(vm, OS_DEBUG_HCALL, handle_hcall, state);
 117
 118     state->debug_offset = 0;
 119     memset(state->debug_buf, 0, BUF_SIZE);
 120
 121     return 0;
 122 }
 123
 124
 125 device_register("OS_DEBUG", debug_init)