__patch_text
__patch_text((void *)pc, new);
__patch_text((void *)bpt->bpt_addr,
__patch_text((void *)bpt->bpt_addr, *(unsigned int *)bpt->saved_instr);
__patch_text(patch->addr, patch->insn);
__patch_text(p->addr, p->insn);
void __patch_text(void *addr, u32 insn);
__patch_text((void *)rec->ip, INSN_NOP);
__patch_text((void *)bpt->bpt_addr,
__patch_text((void *)bpt->bpt_addr, *(unsigned int *)&bpt->saved_instr);