HomeSort by: relevance | last modified time | path
    Searched refs:bind_vcpu_to_evtch (Results 1 - 3 of 3) sorted by relevancy

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

Completed in 17 milliseconds