__console_dev      38 usr/lib/libsa/_stdio.c static device_t __console_dev;
__console_dev      46 usr/lib/libsa/_stdio.c 	if (__console_dev)
__console_dev      47 usr/lib/libsa/_stdio.c 		device_close(__console_dev);
__console_dev      55 usr/lib/libsa/_stdio.c 	device_open("tty", 0, &__console_dev);
__console_dev      67 usr/lib/libsa/_stdio.c 	device_write(__console_dev, buf, &len, 0);
__console_dev      79 usr/lib/libsa/_stdio.c 	device_read(__console_dev, &ch, &len, 0);