void arch_disarm_kprobe(struct kprobe *p) 
void __kprobes arch_disarm_kprobe(struct kprobe *p) 
void arch_disarm_kprobe(struct kprobe *p){	*p->addr = p->opcode;	flush_icache_range((unsigned long) p->addr,			   (unsigned long) p->addr + sizeof(kprobe_opcode_t));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3d97ae5b958855ac007b6f56a0f94ab8ade09e9e/kprobes.c/clean/arch/i386/kernel/kprobes.c