Searched refs:IPL_assert (Results 1 – 11 of 11) sorted by relevance
/qemu/pc-bios/s390-ccw/ |
H A D | bootmap.c | 67 IPL_assert(bip->version == BOOT_INFO_VERSION, "Wrong zIPL version"); in verify_boot_info() 70 IPL_assert(bip->flags == BOOT_INFO_FLAGS_ARCH, "Not for this arch"); in verify_boot_info() 71 IPL_assert(block_size_ok(bip->bp.ipl.bm_ptr.eckd.bptr.size), in verify_boot_info() 173 IPL_assert(ldipl, "bad chunk ECKD addr"); in load_eckd_segments() 200 IPL_assert(rc == 0, "code chunk read failed"); in load_eckd_segments() 301 IPL_assert(block_nr != -1, "Cannot find Boot Map Table Entry"); in run_eckd_boot_script() 327 IPL_assert(bms->entry[i].type == BOOT_SCRIPT_EXEC, in run_eckd_boot_script() 574 IPL_assert(address != -1, "zIPL load segment failed"); in zipl_load_segment() 642 IPL_assert(mbr->pt.blockno, "No Program Table"); in ipl_scsi() 656 IPL_assert(program_table_entries != 0, "Empty Program Table"); in ipl_scsi() [all …]
|
H A D | virtio.c | 229 IPL_assert(virtio_is_supported(vdev->schid), "PE"); in virtio_setup_ccw() 239 IPL_assert(rc == 0, "Could not write ACKNOWLEDGE status to host"); in virtio_setup_ccw() 263 IPL_assert(rc == 0, "Could not write DRIVER status to host"); in virtio_setup_ccw() 270 IPL_assert(rc == 0, "Could not get features bits"); in virtio_setup_ccw() 274 IPL_assert(rc == 0, "Could not set features bits"); in virtio_setup_ccw() 278 IPL_assert(rc == 0, "Could not get virtio device configuration"); in virtio_setup_ccw() 293 IPL_assert(rc == 0, "Could not get virtio device VQ configuration"); in virtio_setup_ccw() 297 IPL_assert( in virtio_setup_ccw() 304 IPL_assert(rc == 0, "Could not write DRIVER_OK status to host"); in virtio_setup_ccw()
|
H A D | libc.c | 69 IPL_assert(str != NULL, "uitoa: no space allocated to store string"); in uitoa() 77 IPL_assert(len > num_idx, "uitoa: array too small for conversion"); in uitoa()
|
H A D | virtio-net.c | 57 IPL_assert(vdev->guest_features[0] & VIRTIO_NET_F_MAC_BIT, in virtio_net_init() 63 IPL_assert(buf != NULL, "Can not allocate memory for receive buffers"); in virtio_net_init()
|
H A D | virtio-scsi.c | 354 IPL_assert(resp.sense_len != 0, "virtio-scsi:setup: no SENSE data"); in virtio_scsi_setup() 356 IPL_assert(retry_test_unit_ready && code == 0x70 && in virtio_scsi_setup() 441 IPL_assert(vdev->config.scsi.sense_size == VIRTIO_SCSI_SENSE_SIZE, in virtio_scsi_setup_device() 443 IPL_assert(vdev->config.scsi.cdb_size == VIRTIO_SCSI_CDB_SIZE, in virtio_scsi_setup_device()
|
H A D | main.c | 214 IPL_assert(found, "Boot device not found\n"); in find_boot_device() 245 IPL_assert(virtio_ipl_disk_is_valid(), "No valid IPL device detected"); in virtio_setup()
|
H A D | helper.h | 22 IPL_assert((uint64_t)ptr <= 0xffffffffull, "ptr2u32: ptr too large"); in ptr2u32()
|
H A D | bootmap.h | 366 IPL_assert(virtio_read(blockno, buffer) == 0, errmsg); in read_block() 393 IPL_assert(virtio_read_many(block_offset, buf, 1) == 0, errmsg); in read_iso_sector() 399 IPL_assert(virtio_read_many(block_offset, load_addr, blks_to_load) == 0, in read_iso_boot_image()
|
H A D | cio.c | 330 IPL_assert(fmt == 0 || fmt == 1, "Invalid ccw format"); in __do_cio() 334 IPL_assert(ccw_addr <= 0xFFFFFF - 8, "Invalid ccw address"); in __do_cio()
|
H A D | netmain.c | 493 IPL_assert(iplb.pbt == S390_IPL_TYPE_CCW, "IPL_TYPE_CCW expected"); in virtio_setup() 509 IPL_assert(found, "No virtio net device found"); in virtio_setup()
|
H A D | s390-ccw.h | 147 static inline void IPL_assert(bool term, const char *message) in IPL_assert() function
|