#ifndef __ASM_ARM_ARM32_FLUSHTLB_H__
#define __ASM_ARM_ARM32_FLUSHTLB_H__
+#include <asm/arm32/sysregs.h>
+
/*
* Every invalidation operation use the following patterns:
*
#ifndef __ASM_ARM_ARM64_FLUSHTLB_H__
#define __ASM_ARM_ARM64_FLUSHTLB_H__
+#include <asm/alternative.h>
+
/*
* Every invalidation operation use the following patterns:
*
#ifndef __ASSEMBLY__
+#include <asm/lpae.h>
+
/*
* Direct access to xen_fixmap[] should only happen when {set,
* clear}_fixmap() is unusable (e.g. where we would end up to
#include <xen/mm.h>
#include <asm/fixmap.h>
+#include <asm/flushtlb.h>
static inline void arch_pmap_map(unsigned int slot, mfn_t mfn)
{
#include <xen/pmap.h>
#include <xen/vmap.h>
+#include <asm/flushtlb.h>
+
/* Override macros from asm/page.h to make them work with mfn_t */
#undef virt_to_mfn
#define virt_to_mfn(va) _mfn(__virt_to_mfn(va))
#include <asm/current.h>
#include <asm/fixmap.h>
+#include <asm/flushtlb.h>
#ifdef NDEBUG
static inline void
#include <xen/vmap.h>
#include <asm/fixmap.h>
+#include <asm/flushtlb.h>
#include <asm/setup.h>
/* Override macros from asm/page.h to make them work with mfn_t */
#include <asm/cpuerrata.h>
#include <asm/cpufeature.h>
#include <asm/event.h>
+#include <asm/flushtlb.h>
#include <asm/hsr.h>
#include <asm/mem_access.h>
#include <asm/mmio.h>
/* Return the upper bound of MFNs, including hotplug memory. */
unsigned long get_upper_mfn_bound(void);
-#if defined(CONFIG_X86) || defined(CONFIG_ARM)
+#if defined(CONFIG_X86)
#include <asm/flushtlb.h>
#endif