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