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