Symbol: VMMCI_CONFIG_COMMAND
sys/dev/pv/vmmci.c
148
virtio_write_device_config_4(vsc, VMMCI_CONFIG_COMMAND,
sys/dev/pv/vmmci.c
164
cmd = virtio_read_device_config_4(vsc, VMMCI_CONFIG_COMMAND);
sys/dev/pv/vmmci.c
190
virtio_write_device_config_4(vsc, VMMCI_CONFIG_COMMAND, cmd);