Symbol: hvsi_push
drivers/tty/hvc/hvsi.c
876
hvsi_push(hp);
drivers/tty/hvc/hvsi.c
940
hvsi_push(hp);