Index: sys/xen/evtchn/evtchnvar.h
===================================================================
--- sys/xen/evtchn/evtchnvar.h
+++ sys/xen/evtchn/evtchnvar.h
@@ -45,9 +45,6 @@
 	EVTCHN_TYPE_COUNT
 };
 
-/** Submit a port notification for delivery to a userland evtchn consumer */
-void evtchn_device_upcall(evtchn_port_t port);
-
 /**
  * Disable signal delivery for an event channel port, returning its
  * previous mask state.