VIRTIO_CONFIG_DEVICE_STATUS
VIRTIO_CONFIG_DEVICE_STATUS);
VIRTIO_CONFIG_DEVICE_STATUS, status|old);
VIRTIO_CONFIG_DEVICE_STATUS) != 0) {
VIRTIO_CONFIG_DEVICE_STATUS);
VIRTIO_CONFIG_DEVICE_STATUS, status|old);
case VIRTIO_CONFIG_DEVICE_STATUS: return "device status";
case VIRTIO_CONFIG_DEVICE_STATUS:
case VIRTIO_CONFIG_DEVICE_STATUS: