# CONFIG_RTSN is not set
