sysrq_key_table_key2index  511 drivers/tty/sysrq.c 	i = sysrq_key_table_key2index(key);
sysrq_key_table_key2index  520 drivers/tty/sysrq.c         int i = sysrq_key_table_key2index(key);