* \author Daniele Basile <asterix@develer.com>
*/
-#include <cpu/types.h>
-#include <cpu/irq.h>
+#include <cfg/macros.h>
+#include <cfg/debug.h>
#include <drv/pwm.h>
-#include <drv/pwm_at91.h>
-#include <cfg/macros.h>
-#include <cfg/debug.h>
+#include CPU_HEADER(pwm)
+
+#include <cpu/types.h>
+#include <cpu/irq.h>
/**
pwm_period_t period = 0;
pwm_duty_t real_duty = 0;
- duty = MIN(duty, (pwm_duty_t)PWM_MAX_DUTY);
+ duty = MIN(duty, PWM_MAX_DUTY);
period = pwm_hw_getPeriod(dev);
*/
void pwm_init(void)
{
- cpuflags_t flags;
+ cpu_flags_t flags;
PwmDev dev;
IRQ_SAVE_DISABLE(flags);