Symbol: virtio_mmio_write_device_config_4
sys/dev/fdt/virtio_mmio.c
154
virtio_mmio_write_device_config_4,
sys/dev/fdt/virtio_mmio.c
96
void virtio_mmio_write_device_config_4(struct virtio_softc *, int, uint32_t);