sti_flush         276 drivers/video/console/sticore.c 	sti_flush(dest_start, (unsigned long)dest);
sti_flush         677 drivers/video/console/sticore.c 	sti_flush(dest_start, (unsigned long)dest);