/* SPDX-License-Identifier: GPL-2.0 */#ifndef _PARISC_KERNEL_PATCH_H#define _PARISC_KERNEL_PATCH_H/* stop machine and patch kernel text */voidpatch_text(void*addr,unsigned int insn);/* patch kernel text with machine already stopped (e.g. in kgdb) */void__patch_text(void*addr,unsigned int insn);#endif