Symbol: PCPU_ID_GET
sys/x86/xen/xen_apic.c
132
PCPU_ID_GET(cpu, vcpu_id), NULL);
sys/x86/xen/xen_apic.c
141
PCPU_ID_GET(cpu, vcpu_id), NULL);
sys/x86/xen/xen_apic.c
149
PCPU_ID_GET(apic_cpuid(dest), vcpu_id), NULL);