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