ASR_BASE
Change-Id: Icf3719cc0afe3eeb3edc7fa80a2eb5199ca9dda1
diff --git a/marvell/linux/arch/arm/include/asm/xen/events.h b/marvell/linux/arch/arm/include/asm/xen/events.h
new file mode 100644
index 0000000..c83086f
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/events.h
@@ -0,0 +1,30 @@
+/* SPDX-License-Identifier: GPL-2.0 */
+#ifndef _ASM_ARM_XEN_EVENTS_H
+#define _ASM_ARM_XEN_EVENTS_H
+
+#include <asm/ptrace.h>
+#include <asm/atomic.h>
+
+enum ipi_vector {
+ XEN_PLACEHOLDER_VECTOR,
+
+ /* Xen IPIs go here */
+ XEN_NR_IPIS,
+};
+
+static inline int xen_irqs_disabled(struct pt_regs *regs)
+{
+ return raw_irqs_disabled_flags(regs->ARM_cpsr);
+}
+
+#define xchg_xen_ulong(ptr, val) atomic64_xchg(container_of((long long*)(ptr),\
+ atomic64_t, \
+ counter), (val))
+
+/* Rebind event channel is supported by default */
+static inline bool xen_support_evtchn_rebind(void)
+{
+ return true;
+}
+
+#endif /* _ASM_ARM_XEN_EVENTS_H */
diff --git a/marvell/linux/arch/arm/include/asm/xen/hypercall.h b/marvell/linux/arch/arm/include/asm/xen/hypercall.h
new file mode 100644
index 0000000..3522cba
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/hypercall.h
@@ -0,0 +1 @@
+#include <xen/arm/hypercall.h>
diff --git a/marvell/linux/arch/arm/include/asm/xen/hypervisor.h b/marvell/linux/arch/arm/include/asm/xen/hypervisor.h
new file mode 100644
index 0000000..d6e7709
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/hypervisor.h
@@ -0,0 +1 @@
+#include <xen/arm/hypervisor.h>
diff --git a/marvell/linux/arch/arm/include/asm/xen/interface.h b/marvell/linux/arch/arm/include/asm/xen/interface.h
new file mode 100644
index 0000000..88c0d75
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/interface.h
@@ -0,0 +1 @@
+#include <xen/arm/interface.h>
diff --git a/marvell/linux/arch/arm/include/asm/xen/page-coherent.h b/marvell/linux/arch/arm/include/asm/xen/page-coherent.h
new file mode 100644
index 0000000..27e9849
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/page-coherent.h
@@ -0,0 +1,2 @@
+/* SPDX-License-Identifier: GPL-2.0 */
+#include <xen/arm/page-coherent.h>
diff --git a/marvell/linux/arch/arm/include/asm/xen/page.h b/marvell/linux/arch/arm/include/asm/xen/page.h
new file mode 100644
index 0000000..31bbc80
--- /dev/null
+++ b/marvell/linux/arch/arm/include/asm/xen/page.h
@@ -0,0 +1 @@
+#include <xen/arm/page.h>