tag	line	file	source code
ye	1591	kernel/chr_drv/console.c	unsigned short *args, xs, ys, xe, ye;
ye	1603	kernel/chr_drv/console.c	ye = get_fs_word(args++) - 1;
ye	1609	kernel/chr_drv/console.c	ye = limit(ye, 0, video_num_lines - 1);
ye	1611	kernel/chr_drv/console.c	pe = ye * video_size_row + (xe << 1);