Lines Matching refs:assert

1257 	assert(off < 4);  in ioread()
1258 	assert(mask == 0xFF || mask == 0xFFFF || mask == 0xFFFFFFFF);  in ioread()
1265 	assert(off < 4);  in iowrite()
1266 	assert(mask == 0xFF || mask == 0xFFFF || mask == 0xFFFFFFFF);  in iowrite()
1567 	assert(~(val & ~mask));  in setreg_num()
1907 			assert(d->mmio->cfg.guest_feature_select == 1);  in emulate_mmio_write()
2427 	assert(~(dev->config.bar[0] & 0xF));  in no_device_config()
2455 	assert(dev->config.cfg_access.cap.cap_next % 4 == 0);  in set_device_config()
2544 	assert(pci->capabilities % 4 == 0);  in init_pci_config()
2565 	assert(pci->common.cap_next % 2 == 0);  in init_pci_config()
2575 	assert(bar_len >= 2);  in init_pci_config()
2607 	assert(bar_offset == sizeof(struct virtio_pci_mmio));  in init_pci_config()
2645 	assert(!devices.pci[devices.device_num+1]);  in new_pci_device()