Symbol: hvsi_interrupt
drivers/tty/hvc/hvsi.c
1064
ret = request_irq(hp->virq, hvsi_interrupt, 0, "hvsi", hp);
drivers/tty/hvc/hvsi.c
518
hvsi_interrupt(hp->virq, (void *)hp); /* get pending data */