# CONFIG_VMWARE_VMCI is not set
