HelenOS sources

pio_read_le32     200 uspace/lib/virtio/virtio.c 	*descno = (uint16_t) pio_read_le32(&q->used->ring[last_idx].id);
pio_read_le32     201 uspace/lib/virtio/virtio.c 	*len = pio_read_le32(&q->used->ring[last_idx].len);
pio_read_le32     321 uspace/lib/virtio/virtio.c 	uint32_t device_features = pio_read_le32(&cfg->device_feature);
pio_read_le32     325 uspace/lib/virtio/virtio.c 	uint32_t device_reserved_features = pio_read_le32(&cfg->device_feature);
HelenOS homepage, sources at GitHub