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__
27 #include <palacios/vm_dev.h>
28 #include <palacios/vmm_types.h>
29 #include <palacios/vmm_rbtree.h>
31 #include <devices/pci_types.h>
34 typedef enum {PCI_BAR_IO, PCI_BAR_MEM16, PCI_BAR_MEM32, PCI_BAR_MEM64_LOW, PCI_BAR_MEM64_HIGH, PCI_BAR_NONE} pci_bar_type_t;
40 int (*bar_update)(struct pci_device * pci_dev, uint_t bar);
49 uint8_t config_space[256];
52 struct pci_config_header config_header;
53 uint8_t config_data[192];
54 } __attribute__((packed));
55 } __attribute__((packed));
59 struct v3_bar_reg bar[6];
62 struct rb_node dev_tree_node;
67 struct vm_device * vm_dev; //the corresponding virtual device
69 int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length);
71 int (*cmd_update)(struct pci_device *pci_dev, uchar_t io_enabled, uchar_t mem_enabled);
72 int (*ext_rom_update)(struct pci_device *pci_dev);
75 int ext_rom_update_flag;
83 struct vm_device * v3_create_pci();
86 v3_pci_register_device(struct vm_device * pci,
90 int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length),
91 int (*bar_update)(struct pci_device * pci_dev, uint_t bar),