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

/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c82 static void write_reg8(virtio_dev_t *dev, uint16_t port, uint8_t val) { function
95 write_reg8(dev, VIRTIO_PCI_STATUS, status);
103 write_reg8(dev, VIRTIO_PCI_STATUS, get_status(dev) | status);

Completed in 23 milliseconds