381 static void virtio_ioport_write(void *opaque, uint32_t addr, uint32_t val)  in virtio_ioport_write()
526     uint64_t val = 0;  in virtio_pci_config_read()  local
558                                     uint64_t val, unsigned size)  in virtio_pci_config_write()
644     uint64_t val;  in virtio_address_space_write()  local
682     uint64_t val;  in virtio_address_space_read()  local
730                                   uint32_t val, int len)  in pcie_ats_config_write()
749                                 uint32_t val, int len)  in virtio_write_config()
1484     uint32_t val = 0;  in virtio_pci_common_read()  local
1572                                     uint64_t val, unsigned size)  in virtio_pci_common_write()
1714                                     uint64_t val, unsigned size)  in virtio_pci_notify_write()
1728                                         uint64_t val, unsigned size)  in virtio_pci_notify_write_pio()
1746     uint64_t val;  in virtio_pci_isr_read()  local
1758                                  uint64_t val, unsigned size)  in virtio_pci_isr_write()
1767     uint64_t val;  in virtio_pci_device_read()  local
1791                                     uint64_t val, unsigned size)  in virtio_pci_device_write()