Symbol: sysrq_do_reset
drivers/tty/sysrq.c
732
sysrq_do_reset(&state->keyreset_timer);
drivers/tty/sysrq.c
984
timer_setup(&sysrq->keyreset_timer, sysrq_do_reset, 0);