evtchn_bind_vcpu 1299 drivers/xen/events/events_base.c struct evtchn_bind_vcpu bind_vcpu; evtchn_bind_vcpu 238 include/xen/interface/event_channel.h struct evtchn_bind_vcpu bind_vcpu;