Searched refs:xi_cpu (Results 1 – 2 of 2) sorted by relevance
213 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port); in xen_intr_release_isrc()277 isrc->xi_cpu = 0; in xen_intr_bind_isrc()416 KASSERT((isrc->xi_cpu == PCPU_GET(cpuid)), in xen_intr_handle_upcall()418 PCPU_GET(cpuid), isrc->xi_cpu)); in xen_intr_handle_upcall()497 u_int cpu = isrc->xi_cpu; in xen_rebind_ipi()516 u_int cpu = isrc->xi_cpu; in xen_rebind_virq()534 u_int cpu = isrc->xi_cpu; in xen_intr_rebind_isrc()554 isrc->xi_cpu = 0; in xen_intr_rebind_isrc()664 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port); in xen_intr_assign_cpu()665 isrc->xi_cpu = to_cpu; in xen_intr_assign_cpu()[all …]
54 u_int xi_cpu; /* VCPU for delivery */ member