palacios/include/devices/pci.h

   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) 2009, Lei Xia <lxia@northwestern.edu>
  11  * Copyright (c) 2009, Chang Seok Bae <jhuell@gmail.com>
  12  * Copyright (c) 2009, The V3VEE Project <http://www.v3vee.org>
  13  * All rights reserved.
  14  *
  15  * Author:  Lei Xia <lxia@northwestern.edu>
  16  *             Chang Seok Bae <jhuell@gmail.com>
  17  *
  18  * This is free software.  You are permitted to use,
  19  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  20  */
  21
  22 #ifndef __DEVICES_PCI_H__
  23 #define __DEVICES_PCI_H__
  24
  25 #include <palacios/vm_dev.h>
  26 #include <palacios/vmm_types.h>
  27 #include <palacios/vmm_rbtree.h>
  28
  29 #include <devices/pci_types.h>
  30
  31
  32 #define V3_PCI_BAR_MEM          0x00
  33 #define V3_PCI_BAR_IO           0x01
  34 #define V3_PCI_BAR_MEM_PREFETCH 0x08
  35
  36
  37 struct pci_device {
  38     union {
  39         struct {
  40             struct pci_config_header config_header;
  41             uint8_t config_data[192];
  42         } __attribute__((packed));
  43
  44         uint8_t config_space[256];
  45     } __attribute__((packed));
  46
  47
  48
  49     uint_t bus_num;
  50     struct rb_node dev_tree_node;
  51
  52     int dev_num;
  53     char name[64];
  54
  55     struct vm_device * vm_dev;  //the corresponding virtual device
  56
  57     int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length);
  58
  59     void * priv_data;
  60 };
  61
  62
  63
  64 struct vm_device * v3_create_pci();
  65
  66 struct pci_device *
  67 v3_pci_register_device(struct vm_device * pci,
  68                        uint_t bus_num,
  69                        const char * name,
  70                        int dev_num,
  71                        int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length),
  72                        void * private_data);
  73
  74
  75 #endif
  76