libxc: osdep: convert xc_evtchn_bind_interdomain()

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Ian Jackson <ian.jackson.citrix.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/tools/libxc/xenctrlosdep.h b/tools/libxc/xenctrlosdep.h
index d67d6d40c6..83c79fdceb 100644
--- a/tools/libxc/xenctrlosdep.h
+++ b/tools/libxc/xenctrlosdep.h
@@ -80,6 +80,8 @@ struct xc_osdep_ops
             int (*notify)(xc_evtchn *xce, xc_osdep_handle h, evtchn_port_t port);
 
             evtchn_port_or_error_t (*bind_unbound_port)(xc_evtchn *xce, xc_osdep_handle h, int domid);
+            evtchn_port_or_error_t (*bind_interdomain)(xc_evtchn *xce, xc_osdep_handle h, int domid,
+                                                       evtchn_port_t remote_port);
         } evtchn;
     } u;
 };