__patch_text_multiple
void __patch_text_multiple(void *addr, u32 *insn, unsigned int len);
__patch_text_multiple(ip, tramp, size);
__patch_text_multiple((void *)rec->ip + 4 - sizeof(insn),
__patch_text_multiple(patch->addr, patch->insn, patch->len);
__patch_text_multiple(addr, &insn, sizeof(insn));