old_pendbaser     426 virt/kvm/arm/vgic/vgic-mmio-v3.c 	u64 old_pendbaser, pendbaser;
old_pendbaser     433 virt/kvm/arm/vgic/vgic-mmio-v3.c 		old_pendbaser = READ_ONCE(vgic_cpu->pendbaser);
old_pendbaser     434 virt/kvm/arm/vgic/vgic-mmio-v3.c 		pendbaser = old_pendbaser;
old_pendbaser     437 virt/kvm/arm/vgic/vgic-mmio-v3.c 	} while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
old_pendbaser     438 virt/kvm/arm/vgic/vgic-mmio-v3.c 			   pendbaser) != old_pendbaser);