1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * livepatch.h - x86-specific Kernel Live Patching Core
5 * Copyright (C) 2014 Seth Jennings <sjenning@redhat.com>
6 * Copyright (C) 2014 SUSE
9 #ifndef _ASM_X86_LIVEPATCH_H
10 #define _ASM_X86_LIVEPATCH_H
12 #include <asm/setup.h>
13 #include <linux/ftrace.h>
15 static inline void klp_arch_set_pc(struct pt_regs
*regs
, unsigned long ip
)
20 #endif /* _ASM_X86_LIVEPATCH_H */