aboutsummaryrefslogtreecommitdiff
path: root/hw/timer/arm_timer.c
diff options
context:
space:
mode:
authorCornelia Huck <cohuck@redhat.com>2019-05-02 17:46:51 +0200
committerCornelia Huck <cohuck@redhat.com>2019-05-17 07:57:46 +0200
commit216bdd274ae6111102d5f35a4fc6a580e4bc913d (patch)
treeefb97d7762455ef550a5f63d99d93f72c4566835 /hw/timer/arm_timer.c
parentd8276573da58e8ce78dab8c46dd660efd664bcb7 (diff)
s390/ipl: cast to SCSIDevice directly
Coverity notes that the result of object_dynamic_cast() to SCSIDevice is not checked in s390_gen_initial_iplp(); as we know that we always have a SCSIDevice in that branch, we can instead cast via SCSI_DEVICE directly. Coverity: CID 1401098 Fixes: 44445d8668f4 ("s390 vfio-ccw: Add bootindex property and IPLB data") Message-Id: <20190502155516.12415-1-cohuck@redhat.com> Reviewed-by: Thomas Huth <thuth@redhat.com> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> Reviewed-by: Christian Borntraeger <borntraeger@de.ibm.com> Signed-off-by: Cornelia Huck <cohuck@redhat.com>
Diffstat (limited to 'hw/timer/arm_timer.c')
0 files changed, 0 insertions, 0 deletions