2019-04-05 03:14:09 +08:00
|
|
|
/* 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);
|
2019-06-06 04:32:17 +08:00
|
|
|
void patch_text_multiple(void *addr, u32 *insn, unsigned int len);
|
2019-04-05 03:14:09 +08:00
|
|
|
|
|
|
|
|
/* patch kernel text with machine already stopped (e.g. in kgdb) */
|
2019-06-06 04:32:17 +08:00
|
|
|
void __patch_text(void *addr, u32 insn);
|
|
|
|
|
void __patch_text_multiple(void *addr, u32 *insn, unsigned int len);
|
2019-04-05 03:14:09 +08:00
|
|
|
|
|
|
|
|
#endif
|
