taglinefilesource code
DEC562kernel/chr_drv/tty_io.cDEC(tty->secondary.head);
DEC582kernel/chr_drv/tty_io.cDEC(tty->secondary.head);