# CONFIG_CLK_X1E80100_TCSRCC is not set
