bind_to_cpu
.bind_to_cpu = evtchn_2l_bind_to_cpu,
.bind_to_cpu = evtchn_fifo_bind_to_cpu,
void (*bind_to_cpu)(evtchn_port_t evtchn, unsigned int cpu,
evtchn_ops->bind_to_cpu(evtchn, cpu, old_cpu);
orig_mask = bind_to_cpu(target_cpu);
FAIL_IF(bind_to_cpu(BIND_CPU_ANY) < 0);
FAIL_IF(bind_to_cpu(BIND_CPU_ANY) < 0);
int bind_to_cpu(int cpu);
cpu = bind_to_cpu(BIND_CPU_ANY);
cpu = bind_to_cpu(BIND_CPU_ANY);
cpu = bind_to_cpu(BIND_CPU_ANY);
FAIL_IF(bind_to_cpu(BIND_CPU_ANY) < 0);
FAIL_IF(bind_to_cpu(BIND_CPU_ANY) < 0);