+ period = pwm_hw_getPeriod(dev);
+
+ real_duty = (uint64_t)(duty * period) >> (uint64_t)PWM_MAX_PERIOD_LOG2;
+
+// kprintf("real_duty[%d] duty[%d], period[%d]\n", real_duty, duty, period);
+ pwm_hw_setDutyUnlock(dev, real_duty);
+}
+
+/**
+ * Set frequency of pwm channel \p dev at \p freq in Hz.
+ */
+void pwm_setFrequency(PwmDev dev, pwm_freq_t freq)
+{
+ pwm_hw_setFrequency(dev, freq);
+}
+
+/**
+ * Set duty of pwm channel \p dev.
+ */
+void pwm_enable(PwmDev dev, bool state)
+{
+ if (state)
+ pwm_hw_enable(dev);
+ else
+ pwm_hw_disable(dev);