void __sysrq_put_key_op (int key, struct sysrq_key_op *op_p) { 
static void __sysrq_put_key_op (int key, struct sysrq_key_op *op_p) { 
void __sysrq_put_key_op (int key, struct sysrq_key_op *op_p) {        int i;	i = sysrq_key_table_key2index(key);        if (i != -1)                sysrq_key_table[i] = op_p;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cf62ddce2ee137ff92ad11ae762338b864f1dee5/sysrq.c/clean/drivers/char/sysrq.c