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