Searched refs:vcpu_ipi_to_evtch (Results 1 – 1 of 1) sorted by relevance
107 static evtchn_port_t vcpu_ipi_to_evtch[NBSD_XEN_MAX_VCPUS]; variable238 vcpu_ipi_to_evtch[i] = -1; in events_default_setup()538 evtchn = vcpu_ipi_to_evtch[vcpu]; in bind_vcpu_to_evtch()546 vcpu_ipi_to_evtch[vcpu] = evtchn; in bind_vcpu_to_evtch()