Symbol: vtmmio_write_config_2
sys/dev/virtio/mmio/virtio_mmio.c
780
vtmmio_write_config_2(sc, off,
sys/dev/virtio/mmio/virtio_mmio.c
807
vtmmio_write_config_2(sc, off, *(uint16_t *)s);