taglinefilesource code
orig_x20include/linux/tty.hunsigned char  orig_x;
orig_x34include/linux/tty.h#define ORIG_X      (screen_info.orig_x)
orig_x1246kernel/chr_drv/console.cint orig_x = ORIG_X;
orig_x1331kernel/chr_drv/console.cgotoxy(currcons,orig_x,orig_y);
orig_x18zBoot/misc.cunsigned char  orig_x;