Searched refs:VIRTIO_DEBUG_DT (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/virtio/
H A Ddebug.h52 #define VIRTIO_DEBUG_DT(msg...) VIRTIO_DEBUG_PRINT("[virtio type] " msg) macro
54 #define VIRTIO_DEBUG_DT(msg...) macro
/barrelfish-master/lib/virtio/devices/
H A Dvirtio_block.c93 VIRTIO_DEBUG_DT("reading device configuration\n");
126 VIRTIO_DEBUG_DT("Doing device specific setup: Block Device\n");
175 VIRTIO_DEBUG_DT("ERROR: Device type was not VIRTIO_DEVICE_TYPE_BLOCK\n");

Completed in 80 milliseconds