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 */ 6 void patch_text(void *addr, unsigned int insn); 7 8 /* patch kernel text with machine already stopped (e.g. in kgdb) */ 9 void __patch_text(void *addr, unsigned int insn); 10 11 #endif 12