1/* SPDX-License-Identifier: GPL-2.0 */ 2#include <asm/ftrace.h> 3#include <linux/uaccess.h> 4#include <linux/pgtable.h> 5#include <asm/string.h> 6#include <asm/page.h> 7#include <asm/checksum.h> 8#include <asm/mce.h> 9 10#include <asm-generic/asm-prototypes.h> 11 12#include <asm/special_insns.h> 13#include <asm/preempt.h> 14#include <asm/asm.h> 15#include <asm/fred.h> 16#include <asm/gsseg.h> 17 18#ifndef CONFIG_X86_CMPXCHG64 19extern void cmpxchg8b_emu(void); 20#endif 21 22