pwm无法输出我预期的频率( 设定38khz, 输出2khz)

我是刚入门的新手,正打算移植一个红外遥控器库到k210上. 使用的是C语言开发, 后面打算添加到maixpy中.
我的pwm配置如下:

void irsend_enableIROut(double khz, double duty) {
  // 设置pwm功能的输出引脚为 PWM_IO_OUT
  // timer_toggle从1开始算, toggle2对应定时器的timer_channal1
  fpioa_set_function(PWM_IO_OUT, FUNC_TIMER0_TOGGLE2);

  // 初始化pwm0
  pwm_init(PWM_DEVICE_0);

  // 设置pwm的频率和占空比
  int fre = pwm_set_frequency(PWM_DEVICE_0, PWM_CHANNEL_1, 38000, duty);
  char str[30];
  itoa(fre, str, 10);
  uart_send_data(UART_DEVICE_3, str, strlen(str));
  uart_send_data(UART_DEVICE_3, "\n", 1);
}

串口的打印输出是38000, 也就是38khz, 但是我用逻辑分析仪测试后发现只输出了2kh的pwm波.

我又测试了频率为2khz以下pwm波, 都能正确输出.

所以我猜测k210 pwm的最高频率是否是只能达到2khz?

有人清楚这个问题吗? 不胜感激!!!      : )