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;
42 int (*bar_update)(struct pci_device * pci_dev, uint_t bar);
51 uint8_t config_space[256];
54 struct pci_config_header config_header;
55 uint8_t config_data[192];
56 } __attribute__((packed));
57 } __attribute__((packed));
61 struct v3_pci_bar bar[6];
64 struct rb_node dev_tree_node;
69 struct vm_device * vm_dev; //the corresponding virtual device
71 int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length);
73 int (*cmd_update)(struct pci_device *pci_dev, uchar_t io_enabled, uchar_t mem_enabled);
74 int (*ext_rom_update)(struct pci_device *pci_dev);
77 int ext_rom_update_flag;
85 struct vm_device * v3_create_pci();
88 v3_pci_register_device(struct vm_device * pci,
92 struct v3_pci_bar * bars,
93 int (*config_update)(struct pci_device * pci_dev, uint_t reg_num, int length),
94 int (*cmd_update)(struct pci_device *pci_dev, uchar_t io_enabled, uchar_t mem_enabled),
95 int (*ext_rom_update)(struct pci_device *pci_dev),