On Tue, 30 Apr 2019 17:30:09 -0300
Eduardo Habkost wrote:
> On Tue, Apr 30, 2019 at 05:54:49PM +0100, Peter Maydell wrote:
> > On Thu, 25 Apr 2019 at 14:21, Cornelia Huck wrote:
> [...]
> > > -SCSIDevice *sd = (SCSIDevice *)
> > > object_dynamic_cast(OBJECT(dev_st),
> > > -
On Tue, Apr 30, 2019 at 05:54:49PM +0100, Peter Maydell wrote:
> On Thu, 25 Apr 2019 at 14:21, Cornelia Huck wrote:
[...]
> > -SCSIDevice *sd = (SCSIDevice *) object_dynamic_cast(OBJECT(dev_st),
> > -
> > TYPE_SCSI_DEVICE);
> > -
On Thu, 25 Apr 2019 at 14:21, Cornelia Huck wrote:
>
> From: "Jason J. Herne"
>
> Add bootindex property and iplb data for vfio-ccw devices. This allows us to
> forward boot information into the bios for vfio-ccw devices.
>
> Refactor s390_get_ccw_device() to return device type. This prevents us
From: "Jason J. Herne"
Add bootindex property and iplb data for vfio-ccw devices. This allows us to
forward boot information into the bios for vfio-ccw devices.
Refactor s390_get_ccw_device() to return device type. This prevents us from
having to use messy casting logic in several places.
Signe