taglinefilesource code
obp1594kernel/chr_drv/console.cchar *bp, *obp, *spos;
obp1697kernel/chr_drv/console.cobp = bp = sel_buffer;
obp1703kernel/chr_drv/console.cobp = bp;
obp1708kernel/chr_drv/console.cif (obp != bp)
obp1710kernel/chr_drv/console.cbp = obp;
obp1713kernel/chr_drv/console.cobp = bp;