console_dev        40 usr/test/console/console.c 	device_t console_dev;
console_dev        46 usr/test/console/console.c 	error = device_open("console", 0, &console_dev);
console_dev        54 usr/test/console/console.c 	device_write(console_dev, buf, &len, 0);
console_dev        61 usr/test/console/console.c 		device_write(console_dev, buf, &len, 0);
console_dev        69 usr/test/console/console.c 	error = device_write(console_dev, 0, &len, 0);
console_dev        75 usr/test/console/console.c 	error = device_close(console_dev);