palacios/src/devices/i440fx.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 #include <palacios/vmm.h>
  21 #include <palacios/vm_guest.h>
  22 #include <palacios/vmm_dev_mgr.h>
  23 #include <devices/pci.h>
  24
  25 #include <palacios/vmm_io.h>
  26
  27
  28 // We Have to setup some sort of PIC interrupt mapping here....
  29
  30 struct i440_state {
  31     struct vm_device * pci;
  32 };
  33
  34
  35 static int io_read(struct guest_info * core, ushort_t port, void * dst, uint_t length, void * priv_data) {
  36     PrintError(core->vm_info, core, "Unhandled read on port %x\n", port);
  37     return -1;
  38 }
  39
  40 static int io_write(struct guest_info * core, ushort_t port, void * src, uint_t length, void * priv_data) {
  41     PrintError(core->vm_info, core, "Unhandled write on port %x\n", port);
  42     return -1;
  43 }
  44
  45
  46
  47
  48
  49 static int i440_free(struct i440_state * state) {
  50
  51     // unregister from PCI
  52
  53     V3_Free(state);
  54
  55     return 0;
  56 }
  57
  58 static struct v3_device_ops dev_ops = {
  59     .free = (int (*)(void *))i440_free,
  60
  61 };
  62
  63
  64
  65
  66 static int i440_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
  67     struct pci_device * pci_dev = NULL;
  68     struct v3_pci_bar bars[6];
  69     int i;
  70     struct i440_state * state = NULL;
  71     struct vm_device * pci = v3_find_dev(vm, v3_cfg_val(cfg, "bus"));
  72     char * dev_id = v3_cfg_val(cfg, "ID");
  73     int ret = 0;
  74
  75     if (!pci) {
  76         PrintError(vm, VCORE_NONE, "could not find PCI Device\n");
  77         return -1;
  78     }
  79
  80     state = (struct i440_state *)V3_Malloc(sizeof(struct i440_state));
  81
  82     if (!state) {
  83         PrintError(vm, VCORE_NONE, "Cannot allocate state\n");
  84         return -1;
  85     }
  86
  87     state->pci = pci;
  88
  89     struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, state);
  90
  91     if (dev == NULL) {
  92         PrintError(vm, VCORE_NONE, "Could not attach device %s\n", dev_id);
  93         V3_Free(state);
  94         return -1;
  95     }
  96
  97     for (i = 0; i < 4; i++) {
  98         ret |= v3_dev_hook_io(dev, 0x0cf8 + i, &io_read, &io_write);
  99         ret |= v3_dev_hook_io(dev, 0x0cfc + i, &io_read, &io_write);
 100     }
 101
 102     if (ret != 0) {
 103         PrintError(vm, VCORE_NONE, "Error hooking i440FX io ports\n");
 104         //v3_remove_device(dev);
 105         //return -1;
 106     }
 107
 108     for (i = 0; i < 6; i++) {
 109         bars[i].type = PCI_BAR_NONE;
 110     }
 111
 112     pci_dev = v3_pci_register_device(state->pci, PCI_STD_DEVICE,
 113                                      0, 0, 0, "i440FX", bars,
 114                                      NULL, NULL, NULL, NULL, state);
 115
 116     if (!pci_dev) {
 117         v3_remove_device(dev);
 118         return -1;
 119     }
 120
 121     pci_dev->config_header.vendor_id = 0x8086;
 122     pci_dev->config_header.device_id = 0x1237;
 123     pci_dev->config_header.revision = 0x02;
 124     pci_dev->config_header.subclass = 0x00; //  SubClass: host2pci
 125     pci_dev->config_header.class = PCI_CLASS_BRIDGE;    // Class: PCI bridge
 126
 127     pci_dev->config_space[0x72] = 0x02; // SMRAM (?)
 128
 129     return 0;
 130 }
 131
 132 device_register("i440FX", i440_init);