void lock_kprobes(void) 
void __kprobes lock_kprobes(void) 
void lock_kprobes(void){	spin_lock(&kprobe_lock);	kprobe_cpu = smp_processor_id();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d0aaff9796c3310326d10da44fc0faed352a1d29/kprobes.c/buggy/kernel/kprobes.c