hvsi_push         876 drivers/tty/hvc/hvsi.c 	hvsi_push(hp);
hvsi_push         941 drivers/tty/hvc/hvsi.c 		hvsi_push(hp);