/* SPDX-License-Identifier: GPL-2.0 */#ifndef _PARISC_KERNEL_PATCH_H#define _PARISC_KERNEL_PATCH_H /* stop machine and patch kernel text */void patch_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