current_kprobe = kprobe_prev; kprobe_status = kprobe_status_prev; kprobe_old_eflags = kprobe_old_eflags_prev; kprobe_saved_eflags = kprobe_saved_eflags_prev; 
__get_cpu_var(current_kprobe) = kcb->prev_kprobe.kp; kcb->kprobe_status = kcb->prev_kprobe.status; kcb->kprobe_old_eflags = kcb->prev_kprobe.old_eflags; kcb->kprobe_saved_eflags = kcb->prev_kprobe.saved_eflags; 
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