Symbol: s3c24xx_serial_console_txrdy
drivers/tty/serial/samsung_tty.c
2235
while (!s3c24xx_serial_console_txrdy(port, ufcon))
drivers/tty/serial/samsung_tty.c
2247
while (!s3c24xx_serial_console_txrdy(port, ufcon))