evtchn.h

系统迁移的源代码： http://www.diku.dk/hjemmesider/ansatte/jacobg/

int evtchn_bind_interdomain(int xc, int evtchn_fd, int domid, int remote_port);