# CONFIG_RTASE is not set
