taglinefilesource code
xs1633drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
xs1642drivers/char/console.cxs = get_fs_word(args++) - 1;
xs1648drivers/char/console.cxs = limit(xs, 0, video_num_columns - 1);
xs1652drivers/char/console.cps = ys * video_size_row + (xs << 1);