SYSRQ_KEY_RESET_MAX  626 drivers/tty/sysrq.c static unsigned short sysrq_reset_seq[SYSRQ_KEY_RESET_MAX];
SYSRQ_KEY_RESET_MAX  729 drivers/tty/sysrq.c 		    sysrq_reset_seq_len == SYSRQ_KEY_RESET_MAX)