1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_IA64_PATCH_H
 3#define _ASM_IA64_PATCH_H
 4
 5/*
 6 * Copyright (C) 2003 Hewlett-Packard Co
 7 *	David Mosberger-Tang <davidm@hpl.hp.com>
 8 *
 9 * There are a number of reasons for patching instructions.  Rather than duplicating code
10 * all over the place, we put the common stuff here.  Reasons for patching: in-kernel
11 * module-loader, virtual-to-physical patch-list, McKinley Errata 9 workaround, and gate
12 * shared library.  Undoubtedly, some of these reasons will disappear and others will
13 * be added over time.
14 */
15#include <linux/elf.h>
16#include <linux/types.h>
17
18extern void ia64_patch (u64 insn_addr, u64 mask, u64 val);	/* patch any insn slot */
19extern void ia64_patch_imm64 (u64 insn_addr, u64 val);		/* patch "movl" w/abs. value*/
20extern void ia64_patch_imm60 (u64 insn_addr, u64 val);		/* patch "brl" w/ip-rel value */
21
22extern void ia64_patch_mckinley_e9 (unsigned long start, unsigned long end);
23extern void ia64_patch_vtop (unsigned long start, unsigned long end);
24extern void ia64_patch_phys_stack_reg(unsigned long val);
25extern void ia64_patch_rse (unsigned long start, unsigned long end);
26extern void ia64_patch_gate (void);
27
28#endif /* _ASM_IA64_PATCH_H */