tag	line	file	source code
org	69	drivers/char/vc_screen.c	unsigned short *org;
org	91	drivers/char/vc_screen.c	org = screen_pos(cons, p, viewed);
org	93	drivers/char/vc_screen.c	put_user(scr_readw(org++) & 0xff, buf++);
org	104	drivers/char/vc_screen.c	org = screen_pos(cons, p/2, viewed);
org	106	drivers/char/vc_screen.c	put_user(scr_readw(org++) >> 8, buf++);
org	108	drivers/char/vc_screen.c	put_user(scr_readw(org++), (unsigned short *) buf);
org	113	drivers/char/vc_screen.c	put_user(scr_readw(org) & 0xff, buf++);
org	127	drivers/char/vc_screen.c	unsigned short *org;
org	149	drivers/char/vc_screen.c	org = screen_pos(cons, p, viewed);
org	151	drivers/char/vc_screen.c	scr_writew((scr_readw(org) & 0xff00) |
org	152	drivers/char/vc_screen.c	get_user(buf++), org);
org	153	drivers/char/vc_screen.c	org++;
org	165	drivers/char/vc_screen.c	org = screen_pos(cons, p/2, viewed);
org	168	drivers/char/vc_screen.c	(scr_readw(org) & 0xff), org);
org	169	drivers/char/vc_screen.c	org++;
org	172	drivers/char/vc_screen.c	scr_writew(get_user((unsigned short *) buf), org++);
org	177	drivers/char/vc_screen.c	scr_writew((scr_readw(org) & 0xff00) |
org	178	drivers/char/vc_screen.c	get_user(buf++), org);