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_rflags = kprobe_old_rflags_prev;	kprobe_saved_rflags = kprobe_saved_rflags_prev;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a510f92c1e482a7db05afd3cb84af1f4cfe0bc/kprobes.c/clean/arch/x86_64/kernel/kprobes.c