vfio_pci_dummy_resource  114 drivers/vfio/pci/vfio_pci.c 	struct vfio_pci_dummy_resource *dummy_res;
vfio_pci_dummy_resource  371 drivers/vfio/pci/vfio_pci.c 	struct vfio_pci_dummy_resource *dummy_res, *tmp;