# CONFIG_INFINIBAND_SRPT is not set