Lines Matching refs:xi_cpu
213 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);
277 isrc->xi_cpu = 0;
425 KASSERT((isrc->xi_cpu == PCPU_GET(cpuid)),
427 PCPU_GET(cpuid), isrc->xi_cpu));
516 u_int cpu = isrc->xi_cpu;
535 u_int cpu = isrc->xi_cpu;
553 u_int cpu = isrc->xi_cpu;
573 isrc->xi_cpu = 0;
674 * delivery with an inconsistent state in isrc->xi_cpu.
684 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);
685 isrc->xi_cpu = to_cpu;
686 evtchn_cpu_unmask_port(isrc->xi_cpu, isrc->xi_port);
694 if (isrc->xi_cpu != to_cpu) {
697 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);
698 isrc->xi_cpu = to_cpu;
699 evtchn_cpu_unmask_port(isrc->xi_cpu, isrc->xi_port);
897 if (isrc->xi_cpu != cpu) {
953 if (isrc->xi_cpu != cpu) {