static inline void save_previous_kprobe(void) 
static inline void save_previous_kprobe(struct kprobe_ctlblk *kcb) 
static inline void save_previous_kprobe(void){	kprobe_prev = current_kprobe;	kprobe_status_prev = kprobe_status;	kprobe_old_rflags_prev = kprobe_old_rflags;	kprobe_saved_rflags_prev = kprobe_saved_rflags;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a510f92c1e482a7db05afd3cb84af1f4cfe0bc/kprobes.c/clean/arch/x86_64/kernel/kprobes.c