Searched refs:XEN_CPUID_TO_VCPUID (Results 1 – 2 of 2) sorted by relevance
517 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_rebind_ipi()536 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_rebind_virq()660 u_int vcpu_id = XEN_CPUID_TO_VCPUID(to_cpu); in xen_intr_assign_cpu()863 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_intr_bind_virq()923 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_intr_alloc_and_bind_ipi()
66 XEN_CPUID_TO_VCPUID(u_int cpuid) in XEN_CPUID_TO_VCPUID() function