# CONFIG_INFINIBAND_VMWARE_PVRDMA is not set