Symbol: bind_vcpu_to_evtch
sys/arch/xen/include/evtchn.h
58
evtchn_port_t bind_vcpu_to_evtch(cpuid_t);
sys/arch/xen/x86/xen_ipi.c
134
evtchn = bind_vcpu_to_evtch(vcpu);