Index: sys/arm64/xen/xen_arch_intr.c
===================================================================
--- sys/arm64/xen/xen_arch_intr.c
+++ sys/arm64/xen/xen_arch_intr.c
@@ -86,6 +86,14 @@
 	/* Nothing to do */
 }
 
+void
+xen_arch_intr_intrcnt_init(u_int cpu, u_long **intrcntpp)
+{
+	DPCPU_DEFINE_STATIC(u_long, intrcnts);
+
+	*intrcntpp = DPCPU_ID_PTR(cpu, intrcnts);
+}
+
 struct xenisrc *
 xen_arch_intr_alloc(struct malloc_type *mtype, const char *name,
 		    enum evtchn_type type, evtchn_port_t port)