# CONFIG_INFINIBAND_XSC is not set
