taglinefilesource code
xe1633drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
xe1644drivers/char/console.cxe = get_fs_word(args++) - 1;
xe1650drivers/char/console.cxe = limit(xe, 0, video_num_columns - 1);
xe1653drivers/char/console.cpe = ye * video_size_row + (xe << 1);