EXI_FREQ_32MHZ
exi_select(sc->sc_chan, sc->sc_device, EXI_FREQ_32MHZ);
__SHIFTIN(EXI_FREQ_32MHZ, EXI_CSR_CLK))