You are correct that the ADC_MOD_CLOCK is what drives the digital microphone clock. Your basic clock setup looks correct.
What are your power supplies? Please make sure that your clocks don't violate Table 2-30 from the ARG http://www.ti.com/lit/pdf/slau306