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

/seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c90 static void write_reg32(virtio_dev_t *dev, uint16_t port, uint32_t val) { function
111 write_reg32(dev, VIRTIO_PCI_GUEST_FEATURES, features);
203 write_reg32(dev, VIRTIO_PCI_QUEUE_PFN, ((uintptr_t)dev->rx_ring_phys) / 4096);
205 write_reg32(dev, VIRTIO_PCI_QUEUE_PFN, ((uintptr_t)dev->tx_ring_phys) / 4096);

Completed in 67 milliseconds