diff options
Diffstat (limited to 'pc-bios/s390-ccw/main.c')
| -rw-r--r-- | pc-bios/s390-ccw/main.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 69a02fe..1c9e079 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -91,15 +91,11 @@ static void virtio_setup(uint64_t dev_info) } } - if (!found) { - panic("No virtio-blk device found!\n"); - } + IPL_assert(found, "No virtio device found"); virtio_setup_device(blk_schid); - if (!virtio_ipl_disk_is_valid()) { - panic("No valid hard disk detected.\n"); - } + IPL_assert(virtio_ipl_disk_is_valid(), "No valid IPL device detected"); } int main(void) |