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                 :          3 :         __patch_text_real(addr, insn, true);
      11                 :            : }
      12                 :            : 
      13                 :            : static inline void __patch_text_early(void *addr, unsigned int insn)
      14                 :            : {
      15                 :          3 :         __patch_text_real(addr, insn, false);
      16                 :            : }
      17                 :            : 
      18                 :            : #endif