#include <ultra64.h>

u64 gfxYieldBuf[OS_YIELD_DATA_SIZE*2/sizeof(u64)];