Searched refs:pa_shared (Results 1 – 1 of 1) sorted by relevance
1201 unsigned long *pa_percpu, *pa_shared; in __kvm_vgic_flush_hwstate() local1209 pa_shared = vcpu->arch.vgic_cpu.pend_act_shared; in __kvm_vgic_flush_hwstate()1213 bitmap_or(pa_shared, vgic_cpu->pending_shared, vgic_cpu->active_shared, in __kvm_vgic_flush_hwstate()1236 for_each_set_bit(i, pa_shared, nr_shared) { in __kvm_vgic_flush_hwstate()