2 * This work is licensed under the terms of the GNU GPL, version 2. See
3 * the COPYING file in the top-level directory.
5 * Just split from hw/i386/kvm/pci-assign.c.
10 #include "hw/pci/pci.h"
12 //#define DEVICE_ASSIGNMENT_DEBUG
14 #ifdef DEVICE_ASSIGNMENT_DEBUG
15 #define DEBUG(fmt, ...) \
17 fprintf(stderr, "%s: " fmt, __func__ , __VA_ARGS__); \
20 #define DEBUG(fmt, ...)
23 void *pci_assign_dev_load_option_rom(PCIDevice *dev, struct Object *owner,
24 int *size, unsigned int domain,
25 unsigned int bus, unsigned int slot,
26 unsigned int function);
27 #endif /* PCI_ASSIGN_H */