K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2009-09-18T15:39:09.583145Z
K 7
svn:log
V 224
Just use ttydisc_rint_simple() instead of doing it ourselves.

This code seems to do exactly the same as ttydisc_rint_simple() does
nowadays. Just remove it.

Obtained from:	//depot/user/ed/newcons/sys/dev/syscons/syscons.c

END