static inline void restore_previous_kprobe(void) 
static inline void restore_previous_kprobe(struct kprobe_ctlblk *kcb) 
static inline void restore_previous_kprobe(void){	current_kprobe = kprobe_prev;	kprobe_status = kprobe_status_prev;	kprobe_old_eflags = kprobe_old_eflags_prev;	kprobe_saved_eflags = kprobe_saved_eflags_prev;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9a0e3a86837ac7542e601c18346102c9d9e65fa5/kprobes.c/buggy/arch/i386/kernel/kprobes.c