#include "TemplateDevice_PWM.h"

void TemplateDevice_PWM_platformDisable(PikaObj* self) {}
void TemplateDevice_PWM_platformEnable(PikaObj* self) {}
void TemplateDevice_PWM_platformSetDuty(PikaObj* self) {}
void TemplateDevice_PWM_platformSetFrequency(PikaObj* self) {}

void TemplateDevice_PWM_platformGetEventId(PikaObj* self) {}