taglinefilesource code
xe1634drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
xe1645drivers/char/console.cxe = get_fs_word(args++) - 1;
xe1651drivers/char/console.cxe = limit(xe, 0, video_num_columns - 1);
xe1654drivers/char/console.cpe = ye * video_size_row + (xe << 1);