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.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
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.
15 * Author: Lei Xia <lxia@northwestern.edu>
16 * Chang Seok Bae <jhuell@gmail.com>
18 * This is free software. You are permitted to use,
19 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
22 #ifndef __DEVICES_PCI_H__
23 #define __DEVICES_PCI_H__
25 #include <palacios/vm_dev.h>
26 #include <palacios/vmm_types.h>
27 #include <palacios/vmm_rbtree.h>
29 #include <devices/pci_types.h>
32 #define V3_PCI_BAR_MEM 0x00
33 #define V3_PCI_BAR_IO 0x01
34 #define V3_PCI_BAR_MEM_PREFETCH 0x08
39 struct pci_config_header header;
40 uint8_t header_space[64];
41 } __attribute__((packed));
43 uint8_t config_space[192];
46 struct rb_node dev_tree_node;
51 struct vm_device * vm_dev; //the corresponding virtual device
53 int (*config_read)(struct pci_device * pci_dev, uint_t reg_num, void * dst, int len);
54 int (*config_write)(struct pci_device * pci_dev, uint_t reg_num, void * src, int len);
55 int (*bar_update)(struct pci_device * pci_dev, uint_t bar_reg, uint32_t val);
62 struct vm_device * v3_create_pci();
64 struct pci_bus * v3_get_pcibus(struct guest_info *vm, int bus_no);
67 v3_pci_register_device(struct vm_device * dev,
71 int (*config_read)(struct pci_device * pci_dev, uint_t reg_num, void * dst, int len),
72 int (*config_write)(struct pci_device * pci_dev, uint_t reg_num, void * src, int len),
73 int (*bar_update)(struct pci_device * pci_dev, uint_t bar_reg, uint32_t val),