TIMER_Open函数的输出频率和实际输出频率不一样怎么解决？

在官方BSP\tiMER_Capture范例中，提到Timer0和Timer3的输出频率各位500Hz和1Hz，但是实际上则是1000Hz和2Hz，这其中是不是有什么误会???，谢谢!

    printf("  Timer0: Clock source is 12 MHz; Toggle-output mode and frequency is 500 Hz.\n");

    printf("  Timer3: Clock source is 12 MHz; Toggle-output mode and frequency is 1 Hz.\n");

    printf("  Timer2: Clock source is HCLK(72 MHz); Continuous counting mode; TCMP is 0xFFFFFF;\n");

    printf("          Counter pin enable; Capture pin and capture interrupt enable;\n");

    printf("# Generate 500 Hz frequency from TM0 and connect TM0 pin to Timer2 counter pin.\n");

    printf("# Generate 1 Hz frequency from TM3 and connect TM3 pin to TM2_EXT capture pin.\n");

    printf("# Get 500 event counts from Timer2 counter pin when each TM2_EXT pin interrupt occurred.\n\n");



    /* Initial Timer0 and Timer3 default setting */

    timer0_freq = TIMER_Open(TIMER0, TIMER_TOGGLE_MODE, 1000);

    timer3_freq = TIMER_Open(TIMER3, TIMER_TOGGLE_MODE, 2);

        

    printf("Timer0 frequency = %d\n",timer0_freq);

    printf("Timer3 frequency = %d\n",timer3_freq);