Branch data Line data Source code
1 : : /* SPDX-License-Identifier: GPL-2.0 */ 2 : : #ifndef _ARM_KERNEL_PATCH_H 3 : : #define _ARM_KERNEL_PATCH_H 4 : : 5 : : void patch_text(void *addr, unsigned int insn); 6 : : void __patch_text_real(void *addr, unsigned int insn, bool remap); 7 : : 8 : : static inline void __patch_text(void *addr, unsigned int insn) 9 : : { 10 : 34151 : __patch_text_real(addr, insn, true); 11 : : } 12 : : 13 : : static inline void __patch_text_early(void *addr, unsigned int insn) 14 : : { 15 : 323955 : __patch_text_real(addr, insn, false); 16 : : } 17 : : 18 : : #endif