Searched refs:bind_vcpu_to_evtch (Results 1 – 3 of 3) sorted by relevance
58 evtchn_port_t bind_vcpu_to_evtch(cpuid_t);
134 evtchn = bind_vcpu_to_evtch(vcpu); in xen_ipi_init()
531 bind_vcpu_to_evtch(cpuid_t vcpu) in bind_vcpu_to_evtch() function