bind_evtchn_to_cpuset
bind_evtchn_to_cpuset(evtchn, tset);
bind_evtchn_to_cpuset(evtchn, tcpus);
bind_evtchn_to_cpuset(evtchn, tcpus);
bind_evtchn_to_cpuset(evtchn, tcpus);
bind_evtchn_to_cpuset(evtchn, dest);