taglinefilesource code
xs1596drivers/char/console.cunsigned short *args, xs, ys, xe, ye;
xs1605drivers/char/console.cxs = get_fs_word(args++) - 1;
xs1611drivers/char/console.cxs = limit(xs, 0, video_num_columns - 1);
xs1615drivers/char/console.cps = ys * video_size_row + (xs << 1);