ia64_patch         18 arch/ia64/include/asm/patch.h extern void ia64_patch (u64 insn_addr, u64 mask, u64 val);	/* patch any insn slot */
ia64_patch        192 arch/ia64/kernel/module.c 	ia64_patch((u64) insn, 0x01fffcfe000UL, (  ((val & 0x200000UL) << 15) /* bit 21 -> 36 */
ia64_patch        207 arch/ia64/kernel/module.c 	ia64_patch((u64) insn, 0x11ffffe000UL, (  ((val & 0x100000UL) << 16) /* bit 20 -> 36 */
ia64_patch        728 arch/ia64/kernel/module.c 				ia64_patch((u64) location, 0x1fff80fe000UL, 0x10000000000UL);
ia64_patch         71 arch/ia64/kernel/patch.c 	ia64_patch(insn_addr + 2,
ia64_patch         77 arch/ia64/kernel/patch.c 	ia64_patch(insn_addr + 1, 0x1ffffffffffUL, val >> 22);
ia64_patch         87 arch/ia64/kernel/patch.c 	ia64_patch(insn_addr + 2,
ia64_patch         90 arch/ia64/kernel/patch.c 	ia64_patch(insn_addr + 1, 0x1fffffffffcUL, val >> 18);
ia64_patch        231 arch/ia64/kernel/patch.c 		ia64_patch(ip, mask, imm);