设置RTC时钟计数器的值的库函数是（） A: void RTC_SetCounter(uint32_t CounterValue); B: void RTC_SetPrescaler(uint32_t PrescalerValue); C: void RTC_SetAlarm(uint32_t AlarmValue); D: uint32_t RTC_GetDivider(void);