# CONFIG_SMCTR is not set
