vfio_pci_hot_reset 1016 drivers/vfio/pci/vfio_pci.c 		struct vfio_pci_hot_reset hdr;
vfio_pci_hot_reset 1023 drivers/vfio/pci/vfio_pci.c 		minsz = offsetofend(struct vfio_pci_hot_reset, count);