# CONFIG_VMWARE_PVSCSI is not set
