Symbol: XEN_CPUID_TO_VCPUID
sys/dev/xen/bus/xen_intr.c
515
u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
sys/dev/xen/bus/xen_intr.c
534
u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
sys/dev/xen/bus/xen_intr.c
658
u_int vcpu_id = XEN_CPUID_TO_VCPUID(to_cpu);
sys/dev/xen/bus/xen_intr.c
861
u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
sys/dev/xen/bus/xen_intr.c
921
u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);