taglinefilesource code
xe2306drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
xe2317drivers/char/console.cxe = get_fs_word(args++) - 1;
xe2323drivers/char/console.cxe = limit(xe, video_num_columns - 1);
xe2326drivers/char/console.cpe = ye * video_size_row + (xe << 1);