260 #define bad_driver(d, fmt, ...) \  macro
297 		bad_driver(d, "iovec too short!");  in iov_consume()
642 		bad_driver(d, "%s:%i: Invalid address %#lx",  in _check_pointer()
673 		bad_driver(d, "Desc next is %u", next);  in next_desc()
1481 			bad_driver(d,  in pci_data_ioread()
1896 			bad_driver(d, "Unexpected driver select %u", val);  in emulate_mmio_write()
1914 			bad_driver(d, "over-accepted features %#llx of %#llx",  in emulate_mmio_write()
1934 			bad_driver(d, "unset of device status bit %#x -> %#x",  in emulate_mmio_write()
1988 			bad_driver(d, "unknown device status bit %#x -> %#x",  in emulate_mmio_write()
1992 			bad_driver(d, "unexpected status transition %#x -> %#x",  in emulate_mmio_write()
2002 				bad_driver(d, "did not re-read FEATURES_OK");  in emulate_mmio_write()
2034 			bad_driver(d, "invalid queue size %u", val);  in emulate_mmio_write()
2036 			bad_driver(d, "changing queue size on live device");  in emulate_mmio_write()
2039 		bad_driver(d, "attempt to set MSIX vector to %u", val);  in emulate_mmio_write()
2049 			bad_driver(d, "setting queue_enable to %u", val);  in emulate_mmio_write()
2064 			bad_driver(d, "enabling vq after DRIVER_OK");  in emulate_mmio_write()
2072 		bad_driver(d, "attempt to write to queue_notify_off");  in emulate_mmio_write()
2086 			bad_driver(d, "changing queue on live device");  in emulate_mmio_write()
2097 			bad_driver(d, "setting up vq before FEATURES_OK");  in emulate_mmio_write()
2104 			bad_driver(d, "didn't re-read FEATURES_OK before setup");  in emulate_mmio_write()
2110 			bad_driver(d, "Invalid vq notification on %u", val);  in emulate_mmio_write()
2115 		bad_driver(d, "Unexpected write to isr");  in emulate_mmio_write()
2132 		bad_driver(d, "Unexpected write to offset %u", off);  in emulate_mmio_write()
2151 		bad_driver(d, "feature write before VIRTIO_CONFIG_S_DRIVER");  in emulate_mmio_write()
2153 		bad_driver(d, "feature write after VIRTIO_CONFIG_S_FEATURES_OK");  in emulate_mmio_write()
2164 		bad_driver(d, "non-32-bit write to offset %u (%#x)",  in emulate_mmio_write()
2173 		bad_driver(d, "non-16-bit write to offset %u (%#x)",  in emulate_mmio_write()
2180 		bad_driver(d, "non-8-bit write to offset %u (%#x)",  in emulate_mmio_write()
2208 			bad_driver(d,  in emulate_mmio_read()
2212 		bad_driver(d, "read of msix_config");  in emulate_mmio_read()
2240 			bad_driver(d, "notify before VIRTIO_CONFIG_S_DRIVER_OK");  in emulate_mmio_read()
2244 			bad_driver(d, "non-8-bit read from offset %u (%#x)",  in emulate_mmio_read()
2255 		bad_driver(d, "read from padding (%#x)", getreg(eip));  in emulate_mmio_read()
2259 			bad_driver(d, "read past end (%#x)", getreg(eip));  in emulate_mmio_read()
2274 			bad_driver(d,  in emulate_mmio_read()
2294 		bad_driver(d, "non-32-bit read to offset %u (%#x)",  in emulate_mmio_read()
2301 		bad_driver(d, "non-16-bit read to offset %u (%#x)",  in emulate_mmio_read()
2308 		bad_driver(d, "non-8-bit read to offset %u (%#x)",  in emulate_mmio_read()