# CONFIG_ALTERA_TSE is not set