264 #define bad_driver(d, fmt, ...) \  macro
301 		bad_driver(d, "iovec too short!");  in iov_consume()
646 		bad_driver(d, "%s:%i: Invalid address %#lx",  in _check_pointer()
677 		bad_driver(d, "Desc next is %u", next);  in next_desc()
1485 			bad_driver(d,  in pci_data_ioread()
1900 			bad_driver(d, "Unexpected driver select %u", val);  in emulate_mmio_write()
1918 			bad_driver(d, "over-accepted features %#llx of %#llx",  in emulate_mmio_write()
1938 			bad_driver(d, "unset of device status bit %#x -> %#x",  in emulate_mmio_write()
1992 			bad_driver(d, "unknown device status bit %#x -> %#x",  in emulate_mmio_write()
1996 			bad_driver(d, "unexpected status transition %#x -> %#x",  in emulate_mmio_write()
2006 				bad_driver(d, "did not re-read FEATURES_OK");  in emulate_mmio_write()
2038 			bad_driver(d, "invalid queue size %u", val);  in emulate_mmio_write()
2040 			bad_driver(d, "changing queue size on live device");  in emulate_mmio_write()
2043 		bad_driver(d, "attempt to set MSIX vector to %u", val);  in emulate_mmio_write()
2053 			bad_driver(d, "setting queue_enable to %u", val);  in emulate_mmio_write()
2068 			bad_driver(d, "enabling vq after DRIVER_OK");  in emulate_mmio_write()
2076 		bad_driver(d, "attempt to write to queue_notify_off");  in emulate_mmio_write()
2090 			bad_driver(d, "changing queue on live device");  in emulate_mmio_write()
2101 			bad_driver(d, "setting up vq before FEATURES_OK");  in emulate_mmio_write()
2108 			bad_driver(d, "didn't re-read FEATURES_OK before setup");  in emulate_mmio_write()
2114 			bad_driver(d, "Invalid vq notification on %u", val);  in emulate_mmio_write()
2119 		bad_driver(d, "Unexpected write to isr");  in emulate_mmio_write()
2136 		bad_driver(d, "Unexpected write to offset %u", off);  in emulate_mmio_write()
2155 		bad_driver(d, "feature write before VIRTIO_CONFIG_S_DRIVER");  in emulate_mmio_write()
2157 		bad_driver(d, "feature write after VIRTIO_CONFIG_S_FEATURES_OK");  in emulate_mmio_write()
2168 		bad_driver(d, "non-32-bit write to offset %u (%#x)",  in emulate_mmio_write()
2177 		bad_driver(d, "non-16-bit write to offset %u (%#x)",  in emulate_mmio_write()
2184 		bad_driver(d, "non-8-bit write to offset %u (%#x)",  in emulate_mmio_write()
2212 			bad_driver(d,  in emulate_mmio_read()
2216 		bad_driver(d, "read of msix_config");  in emulate_mmio_read()
2244 			bad_driver(d, "notify before VIRTIO_CONFIG_S_DRIVER_OK");  in emulate_mmio_read()
2248 			bad_driver(d, "non-8-bit read from offset %u (%#x)",  in emulate_mmio_read()
2259 		bad_driver(d, "read from padding (%#x)", getreg(eip));  in emulate_mmio_read()
2263 			bad_driver(d, "read past end (%#x)", getreg(eip));  in emulate_mmio_read()
2278 			bad_driver(d,  in emulate_mmio_read()
2298 		bad_driver(d, "non-32-bit read to offset %u (%#x)",  in emulate_mmio_read()
2305 		bad_driver(d, "non-16-bit read to offset %u (%#x)",  in emulate_mmio_read()
2312 		bad_driver(d, "non-8-bit read to offset %u (%#x)",  in emulate_mmio_read()