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 */