1VERS_1.0 {
2	global:
3		xenevtchn_open;
4		xenevtchn_close;
5
6		xenevtchn_fd;
7
8		xenevtchn_bind_unbound_port;
9		xenevtchn_bind_interdomain;
10		xenevtchn_bind_virq;
11
12		xenevtchn_notify;
13
14		xenevtchn_unbind;
15		xenevtchn_unmask;
16
17		xenevtchn_pending;
18	local: *; /* Do not expose anything by default */
19};
20VERS_1.1 {
21	global:
22		xenevtchn_restrict;
23} VERS_1.0;
24