Symbol: virtiovf_put_data_buffer
drivers/vfio/pci/virtio/migrate.c
630
virtiovf_put_data_buffer(header_buf);
drivers/vfio/pci/virtio/migrate.c
632
virtiovf_put_data_buffer(buf);