patch.h 445 B

12345678910111213
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef _PARISC_KERNEL_PATCH_H
  3. #define _PARISC_KERNEL_PATCH_H
  4. /* stop machine and patch kernel text */
  5. void patch_text(void *addr, unsigned int insn);
  6. void patch_text_multiple(void *addr, u32 *insn, unsigned int len);
  7. /* patch kernel text with machine already stopped (e.g. in kgdb) */
  8. void __patch_text(void *addr, u32 insn);
  9. void __patch_text_multiple(void *addr, u32 *insn, unsigned int len);
  10. #endif