#include "AIR32F1_PWM.h"

void AIR32F1_PWM_platformDisable(PikaObj *self){

}
void AIR32F1_PWM_platformEnable(PikaObj *self){

}
void AIR32F1_PWM_platformSetDuty(PikaObj *self){

}
void AIR32F1_PWM_platformSetFrequency(PikaObj *self){

}

void AIR32F1_PWM_platformGetEventId(PikaObj *self){

}