Symbol: virtio_write_device_config_4
sys/dev/pv/viomb.c
434
virtio_write_device_config_4(vsc, VIRTIO_BALLOON_CONFIG_ACTUAL,
sys/dev/pv/viomb.c
467
virtio_write_device_config_4(vsc, VIRTIO_BALLOON_CONFIG_ACTUAL,
sys/dev/pv/vmmci.c
148
virtio_write_device_config_4(vsc, VMMCI_CONFIG_COMMAND,
sys/dev/pv/vmmci.c
190
virtio_write_device_config_4(vsc, VMMCI_CONFIG_COMMAND, cmd);