Searched refs:virtio_dev_put32 (Results 1 – 2 of 2) sorted by relevance
311 void virtio_dev_put32(virtio_t *, uintptr_t, uint32_t);
587 virtio_dev_put32(virtio_t *vio, uintptr_t offset, uint32_t value) in virtio_dev_put32() function