diff options
Diffstat (limited to 'drivers')
| -rw-r--r-- | drivers/video/cfb_console.c | 9 | 
1 files changed, 9 insertions, 0 deletions
| diff --git a/drivers/video/cfb_console.c b/drivers/video/cfb_console.c index 6aa50cb4f96..a347e13d7de 100644 --- a/drivers/video/cfb_console.c +++ b/drivers/video/cfb_console.c @@ -1160,10 +1160,19 @@ static void video_putc(struct stdio_dev *dev, const char c)  static void video_puts(struct stdio_dev *dev, const char *s)  { +	int flush = cfb_do_flush_cache;  	int count = strlen(s); +	/* temporarily disable cache flush */ +	cfb_do_flush_cache = 0; +  	while (count--)  		video_putc(dev, *s++); + +	if (flush) { +		cfb_do_flush_cache = flush; +		flush_cache(VIDEO_FB_ADRS, VIDEO_SIZE); +	}  }  /* | 
