1#ifndef _ASM_IA64_PATCH_H 2#define _ASM_IA64_PATCH_H 3 4#include <linux/elf.h> 5#include <linux/types.h> 6 7extern void ia64_patch (u64 insn_addr, u64 mask, u64 val); /* patch any insn slot */ 8extern void ia64_patch_imm64 (u64 insn_addr, u64 val); /* patch "movl" w/abs. value*/ 9extern void ia64_patch_imm60 (u64 insn_addr, u64 val); /* patch "brl" w/ip-rel value */ 10 11extern void ia64_patch_mckinley_e9 (unsigned long start, unsigned long end); 12extern void ia64_patch_vtop (unsigned long start, unsigned long end); 13extern void ia64_patch_phys_stack_reg(unsigned long val); 14extern void ia64_patch_rse (unsigned long start, unsigned long end); 15extern void ia64_patch_gate (void); 16 17#endif /* _ASM_IA64_PATCH_H */ 18