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() 425 KASSERT((isrc->xi_cpu == PCPU_GET(cpuid)), in xen_intr_handle_upcall() 427 PCPU_GET(cpuid), isrc->xi_cpu)); in xen_intr_handle_upcall() 516 u_int cpu = isrc->xi_cpu; in xen_rebind_virq() 535 u_int cpu = isrc->xi_cpu; in xen_intr_rebind_isrc() 553 u_int cpu = isrc->xi_cpu; in xen_intr_rebind_isrc() 573 isrc->xi_cpu = 0; in xen_intr_resume() 674 * delivery with an inconsistent state in isrc->xi_cpu. in xen_intr_assign_cpu() 684 evtchn_cpu_mask_port(isrc->xi_cpu, isr in xen_intr_assign_cpu() [all...]
54 u_int xi_cpu; /* VCPU for delivery */ member