# CONFIG_PPS_CLIENT_LDISC is not set
