Result nvgfxInitialize(void);
void nvgfxExit(void);
Result nvgfxEventWait(u32 syncpt_id, u32 threshold);
Result nvgfxGetFramebuffer(u8 **buffer, size_t *size);