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