# CONFIG_STMMAC_TIMER is not set
