Searched refs:apic_cpuid (Results 1 – 4 of 4) sorted by relevance
291 PCPU_ID_GET(apic_cpuid(dest), vcpu_id), NULL); in send_nmi()333 to_cpu = apic_cpuid(dest); in xen_pv_lapic_ipi_vectored()
903 to_cpu = apic_cpuid(apic_id); in xen_intr_assign_cpu()
338 apic_cpuid(u_int apic_id) in apic_cpuid() function
1673 sched_bind(td, apic_cpuid(apic_id)); in native_apic_free_vector()