taglinefilesource code
ye2306drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
ye2318drivers/char/console.cye = get_fs_word(args++) - 1;
ye2324drivers/char/console.cye = limit(ye, video_num_lines - 1);
ye2326drivers/char/console.cpe = ye * video_size_row + (xe << 1);