1 /* SPDX-License-Identifier: GPL-2.0 */ 1 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 void patch_text_multiple(void *addr, u32 *insn 8 9 /* patch kernel text with machine already stop 10 void __patch_text(void *addr, u32 insn); 11 void __patch_text_multiple(void *addr, u32 *in 12 13 #endif 14
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.