tag	line	file	source code
oldtop	352	kernel/chr_drv/console.c	int oldtop,oldbottom;
oldtop	354	kernel/chr_drv/console.c	oldtop=top;
oldtop	359	kernel/chr_drv/console.c	top=oldtop;
oldtop	380	kernel/chr_drv/console.c	int oldtop,oldbottom;
oldtop	382	kernel/chr_drv/console.c	oldtop=top;
oldtop	387	kernel/chr_drv/console.c	top=oldtop;