current_kprobe = kprobe_prev; kprobe_status = kprobe_status_prev; kprobe_saved_msr = kprobe_saved_msr_prev; 
__get_cpu_var(current_kprobe) = kcb->prev_kprobe.kp; kcb->kprobe_status = kcb->prev_kprobe.status; kcb->kprobe_saved_msr = kcb->prev_kprobe.saved_msr; 
static inline void restore_previous_kprobe(void){	current_kprobe = kprobe_prev;	kprobe_status = kprobe_status_prev;	kprobe_saved_msr = kprobe_saved_msr_prev;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0dc036c91ac11b2b76bb91b59d8c7af919aa4a8d/kprobes.c/buggy/arch/ppc64/kernel/kprobes.c