#include "common.h"
/* 1B510 8008B110 */
void __osViSwapBuffer_3(void** buffers) {
osViSwapBuffer(buffers[3]);
}