Searched refs:pend_percpu (Results 1 – 1 of 1) sorted by relevance
964 unsigned long *pending, *enabled, *pend_percpu, *pend_shared; in compute_pending_for_cpu() local970 pend_percpu = vcpu->arch.vgic_cpu.pending_percpu; in compute_pending_for_cpu()974 bitmap_zero(pend_percpu, VGIC_NR_PRIVATE_IRQS); in compute_pending_for_cpu()981 bitmap_and(pend_percpu, pending, enabled, VGIC_NR_PRIVATE_IRQS); in compute_pending_for_cpu()990 pending_private = find_first_bit(pend_percpu, VGIC_NR_PRIVATE_IRQS); in compute_pending_for_cpu()