Searched defs:vcpu (Results 1 – 2 of 2) sorted by relevance
| /netbsd/src/sys/arch/xen/x86/ | ||
| D | xen_ipi.c | 124 cpuid_t vcpu; in xen_ipi_init() local |
| /netbsd/src/sys/arch/xen/xen/ | ||
| D | evtchn.c | 531 bind_vcpu_to_evtch(cpuid_t vcpu) in bind_vcpu_to_evtch() |