gfxfb_blt
(void) gfxfb_blt(NULL, GfxFbBltVideoToVideo,
(void) gfxfb_blt(destination, GfxFbBltBufferToVideo,
(void) gfxfb_blt(buf, GfxFbBltBufferToVideo,
if (gfxfb_blt(buf, GfxFbBltVideoToBltBuffer, x, y, 0, 0,
(void) gfxfb_blt(buf, GfxFbBltBufferToVideo, 0, 0, x, y,
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x, y, 1, 1, 0);
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x1, y1, x2 - x1,
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x1, y1, x2 - x1, 1, 0);
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x1, y2, x2 - x1, 1, 0);
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x1, y1, 1, y2 - y1, 0);
gfxfb_blt(&c, GfxFbBltVideoFill, 0, 0, x2, y1, 1, y2 - y1, 0);
int gfxfb_blt(void *, GFXFB_BLT_OPERATION, uint32_t, uint32_t,