#include "TemplateDevice_ADC.h"

void TemplateDevice_ADC_platformDisable(PikaObj* self) {}

void TemplateDevice_ADC_platformEnable(PikaObj* self) {}

void TemplateDevice_ADC_platformRead(PikaObj* self) {}

void TemplateDevice_ADC_platformGetEventId(PikaObj* self) {}