Symbol: virtio_write_device_config
sys/dev/virtual/virtio/net/if_vtnet.c
863
virtio_write_device_config(dev,
sys/dev/virtual/virtio/virtio/virtio.h
172
void virtio_write_device_config(device_t dev, bus_size_t offset,
sys/dev/virtual/virtio/virtio/virtio.h
190
virtio_write_device_config(dev, offset, &val, sizeof(type)); \