/* Put a page from RAM to the framebuffer.  */
void gfx_mono_framebuffer_put_page(gfx_mono_color_t *data, gfx_coord_t page, gfx_coord_t column, gfx_coord_t width)
/* Put a page from RAM to the framebuffer.  */
void gfx_mono_framebuffer_put_page(gfx_mono_color_t *data, gfx_coord_t page, gfx_coord_t column, gfx_coord_t width)
{
	gfx_mono_color_t *data_pt = data;
	gfx_coord_t *framebuffer_pt = fbpointer +
			((page * GFX_MONO_LCD_WIDTH) + column);
	do {
		*framebuffer_pt++ = *data_pt++;
	} while (--width > 0);
}