#include "AIR32F1_ADC.h"

void AIR32F1_ADC_platformDisable(PikaObj *self){

}

void AIR32F1_ADC_platformEnable(PikaObj *self){

}

void AIR32F1_ADC_platformRead(PikaObj *self){

}

void AIR32F1_ADC_platformGetEventId(PikaObj *self){

}