#ifndef VFIO_USER_OBJ_H
#define VFIO_USER_OBJ_H
void vfu_object_set_bus_irq(PCIBus *pci_bus);
#endif