tag	line	file	source code
display_ptr	1244	kernel/chr_drv/console.c	char *display_ptr;
display_ptr	1304	kernel/chr_drv/console.c	display_ptr = ((char *)video_mem_base) + video_size_row - 8;
display_ptr	1307	kernel/chr_drv/console.c	*display_ptr++ = *display_desc++;
display_ptr	1308	kernel/chr_drv/console.c	display_ptr++;