device_status
device_status(device_config.devs[i].status));
device_status(device_config.spares[i].status));
device_status(device_config.devs[i].status));
device_status(
static const char *device_status(RF_DiskStatus_t);
char device_status; /* POST crap */
uint64_t host, negotiated, device_status;
device_status = bus_space_read_1(iot, ioh,
if ((device_status & VIRTIO_CONFIG_DEVICE_STATUS_FEATURES_OK) == 0) {
uint32_t device_status;
device_status = virtio_mmio_get_status(vsc);
if ((device_status &