apic_cpuid
cpu = apic_cpuid((v_addr & MSI_INTEL_ADDR_DEST) >> 12);
u_int apic_cpuid(u_int apic_id);
return (apic_cpuid(intr_next_cpu(0)));
sched_bind(td, apic_cpuid(apic_id));
PCPU_ID_GET(apic_cpuid(dest), vcpu_id), NULL);
to_cpu = apic_cpuid(dest);
apic_cpuid(apic_id)));