From c0dde7c45090d636c29bc39bb57089c44a62d3f7 Mon Sep 17 00:00:00 2001
From: Julien Grall <julien.grall@linaro.org>
Date: Sat, 19 Apr 2014 20:26:15 +0100
Subject: [PATCH] xen: intr: remove evtchn_port_t typedef in sys/xen/xen_intr.h

evtchn_port_t is correctly defined in Xen headers. There is no reason
to have a specific definition on FreeBSD
---
 sys/xen/xen_intr.h | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/sys/xen/xen_intr.h b/sys/xen/xen_intr.h
index d2d6470ca494..b86f94a43b99 100644
--- a/sys/xen/xen_intr.h
+++ b/sys/xen/xen_intr.h
@@ -33,11 +33,7 @@
 #ifndef _XEN_INTR_H_
 #define _XEN_INTR_H_
 
-#ifndef __XEN_EVTCHN_PORT_DEFINED__
-typedef uint32_t evtchn_port_t;
-DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
-#define __XEN_EVTCHN_PORT_DEFINED__ 1
-#endif
+#include <xen/interface/event_channel.h>
 
 /** Registered Xen interrupt callback handle. */
 typedef void * xen_intr_handle_t;
-- 
2.39.5