Symbol: ehv_bc_console_byte_channel_send
drivers/tty/ehv_bytechan.c
276
if (ehv_bc_console_byte_channel_send(stdout_bc, s2, j))
drivers/tty/ehv_bytechan.c
283
ehv_bc_console_byte_channel_send(stdout_bc, s2, j);