#include <global.h>

void osViSwapBuffer(void *vaddr)
{
    u32 int_disabled = __osDisableInt();
    __osViNext->buffer = vaddr;
    __osViNext->state |= 0x10; // TODO: figure out what this flag means
    __osRestoreInt(int_disabled);
}