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);