Symbol: EXI_CSR_CLK_32MHZ