vfio_pci_hot_reset_info  943 drivers/vfio/pci/vfio_pci.c 		struct vfio_pci_hot_reset_info hdr;
vfio_pci_hot_reset_info  949 drivers/vfio/pci/vfio_pci.c 		minsz = offsetofend(struct vfio_pci_hot_reset_info, count);