Hi TI Expert,
following picture said "DWD counter starts counting down from this value with an RTI_FCLK time base of 3 MHz"

following picute said FCLK can be selected from WKUP_HFOSC0_CLKOUT,WKUP_LFXOSC0_CLKOUT,CLK_12M_RC,CLK_32K

Question:
Which picture is correct?