diff --git a/sys/dev/xen/bus/intr-internal.h b/sys/dev/xen/bus/intr-internal.h
index 222e0665b14..18f148bcb45 100644
--- a/sys/dev/xen/bus/intr-internal.h
+++ b/sys/dev/xen/bus/intr-internal.h
@@ -3,6 +3,7 @@
  *
  * Copyright © 2002-2005 K A Fraser
  * Copyright © 2005 Intel Corporation <xiaofeng.ling@intel.com>
+ * Copyright © 2005-2006 Kip Macy
  * Copyright © 2013 Spectra Logic Corporation
  * Copyright © 2015 Julien Grall
  * Copyright © 2021,2022 Elliott Mitchell
@@ -39,6 +40,14 @@
 /* Current implementation only supports 2L event channels. */
 #define NR_EVENT_CHANNELS EVTCHN_2L_NR_CHANNELS
 
+enum evtchn_type {
+	EVTCHN_TYPE_UNBOUND,
+	EVTCHN_TYPE_VIRQ,
+	EVTCHN_TYPE_IPI,
+	EVTCHN_TYPE_PORT,
+	EVTCHN_TYPE_COUNT
+};
+
 struct xenisrc {
 	xen_arch_isrc_t		xi_arch;	/* @TOP -> *xi_arch=*xenisrc */
 	enum evtchn_type	xi_type;
diff --git a/sys/xen/evtchn/evtchnvar.h b/sys/xen/evtchn/evtchnvar.h
index d1438846594..448800be18a 100644
--- a/sys/xen/evtchn/evtchnvar.h
+++ b/sys/xen/evtchn/evtchnvar.h
@@ -38,14 +38,6 @@
 #include <xen/hypervisor.h>
 #include <contrib/xen/event_channel.h>
 
-enum evtchn_type {
-	EVTCHN_TYPE_UNBOUND,
-	EVTCHN_TYPE_VIRQ,
-	EVTCHN_TYPE_IPI,
-	EVTCHN_TYPE_PORT,
-	EVTCHN_TYPE_COUNT
-};
-
 /** Submit a port notification for delivery to a userland evtchn consumer */
 void evtchn_device_upcall(evtchn_port_t port);