Symbol: HVSI_FSP_DIED
drivers/tty/hvc/hvsi.c
712
if (hp->state == HVSI_FSP_DIED)
drivers/tty/hvc/hvsi.c
843
__set_state(hp, HVSI_FSP_DIED);