#include <global.h>
void* osViGetNextFramebuffer() {
s32 prevInt = __osDisableInt();
void* buff = __osViNext->buffer;
__osRestoreInt(prevInt);
return buff;
}