Lines Matching refs:assert

1253 	assert(off < 4);  in ioread()
1254 	assert(mask == 0xFF || mask == 0xFFFF || mask == 0xFFFFFFFF);  in ioread()
1261 	assert(off < 4);  in iowrite()
1262 	assert(mask == 0xFF || mask == 0xFFFF || mask == 0xFFFFFFFF);  in iowrite()
1563 	assert(~(val & ~mask));  in setreg_num()
1903 			assert(d->mmio->cfg.guest_feature_select == 1);  in emulate_mmio_write()
2423 	assert(~(dev->config.bar[0] & 0xF));  in no_device_config()
2451 	assert(dev->config.cfg_access.cap.cap_next % 4 == 0);  in set_device_config()
2540 	assert(pci->capabilities % 4 == 0);  in init_pci_config()
2561 	assert(pci->common.cap_next % 2 == 0);  in init_pci_config()
2571 	assert(bar_len >= 2);  in init_pci_config()
2603 	assert(bar_offset == sizeof(struct virtio_pci_mmio));  in init_pci_config()
2641 	assert(!devices.pci[devices.device_num+1]);  in new_pci_device()