ehv_bc_console_byte_channel_send  273 drivers/tty/ehv_bytechan.c 			if (ehv_bc_console_byte_channel_send(stdout_bc, s2, j))
ehv_bc_console_byte_channel_send  280 drivers/tty/ehv_bytechan.c 		ehv_bc_console_byte_channel_send(stdout_bc, s2, j);