taglinefilesource code
obp1636drivers/char/console.cchar *bp, *obp, *spos;
obp1739drivers/char/console.cobp = bp = sel_buffer;
obp1745drivers/char/console.cobp = bp;
obp1750drivers/char/console.cif (obp != bp)
obp1752drivers/char/console.cbp = obp;
obp1755drivers/char/console.cobp = bp;