#include "AIR32F1_UART.h"
#include <stdio.h>

void AIR32F1_UART_platformDisable(PikaObj* self) {}
void AIR32F1_UART_platformEnable(PikaObj* self) {}
void AIR32F1_UART_platformRead(PikaObj* self) {}
void AIR32F1_UART_platformReadBytes(PikaObj* self) {

}
void AIR32F1_UART_platformWrite(PikaObj* self) {}
void AIR32F1_UART_platformWriteBytes(PikaObj* self) {

}

void AIR32F1_UART_platformGetEventId(PikaObj *self){

}