1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _PARISC_KERNEL_PATCH_H
3#define _PARISC_KERNEL_PATCH_H
4
5/* stop machine and patch kernel text */
6void patch_text(void *addr, unsigned int insn);
7void patch_text_multiple(void *addr, u32 *insn, unsigned int len);
8
9/* patch kernel text with machine already stopped (e.g. in kgdb) */
10void __patch_text(void *addr, u32 insn);
11void __patch_text_multiple(void *addr, u32 *insn, unsigned int len);
12
13#endif
14