hvc_push          531 drivers/tty/hvc/hvc_console.c 			ret = hvc_push(hp);
hvc_push          645 drivers/tty/hvc/hvc_console.c 		written_total = hvc_push(hp);