#include "AIR32F1_Time.h"

void AIR32F1_Time_sleep_ms(PikaObj *self, int ms){

}
void AIR32F1_Time_sleep_s(PikaObj *self, int s){

}

void AIR32F1_Time_platformGetTick(PikaObj *self){

}

void AIR32F1_Time_platformGetEventId(PikaObj *self){

}