Searched refs:pa_percpu (Results 1 – 1 of 1) sorted by relevance
1201 unsigned long *pa_percpu, *pa_shared; in __kvm_vgic_flush_hwstate() local1208 pa_percpu = vcpu->arch.vgic_cpu.pend_act_percpu; in __kvm_vgic_flush_hwstate()1211 bitmap_or(pa_percpu, vgic_cpu->pending_percpu, vgic_cpu->active_percpu, in __kvm_vgic_flush_hwstate()1224 for_each_set_bit(i, pa_percpu, VGIC_NR_SGIS) { in __kvm_vgic_flush_hwstate()1230 for_each_set_bit_from(i, pa_percpu, VGIC_NR_PRIVATE_IRQS) { in __kvm_vgic_flush_hwstate()