1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
2334bb773SAdam Borowski #include <asm/ftrace.h>
37c0f6ba6SLinus Torvalds #include <linux/uaccess.h>
465fddcfcSMike Rapoport #include <linux/pgtable.h>
5334bb773SAdam Borowski #include <asm/string.h>
6334bb773SAdam Borowski #include <asm/page.h>
7334bb773SAdam Borowski #include <asm/checksum.h>
8b3149ffcSBorislav Petkov #include <asm/mce.h>
9334bb773SAdam Borowski 
10334bb773SAdam Borowski #include <asm-generic/asm-prototypes.h>
11334bb773SAdam Borowski 
12334bb773SAdam Borowski #include <asm/special_insns.h>
13334bb773SAdam Borowski #include <asm/preempt.h>
1476b04384SDavid Woodhouse #include <asm/asm.h>
15e12ad468SIngo Molnar #include <asm/gsseg.h>
16*e40f32f1SBorislav Petkov (AMD) #include <asm/nospec-branch.h>
17334bb773SAdam Borowski 
18334bb773SAdam Borowski #ifndef CONFIG_X86_CMPXCHG64
19334bb773SAdam Borowski extern void cmpxchg8b_emu(void);
20334bb773SAdam Borowski #endif
2176b04384SDavid Woodhouse 
22