old_propbaser     398 virt/kvm/arm/vgic/vgic-mmio-v3.c 	u64 old_propbaser, propbaser;
old_propbaser     405 virt/kvm/arm/vgic/vgic-mmio-v3.c 		old_propbaser = READ_ONCE(dist->propbaser);
old_propbaser     406 virt/kvm/arm/vgic/vgic-mmio-v3.c 		propbaser = old_propbaser;
old_propbaser     409 virt/kvm/arm/vgic/vgic-mmio-v3.c 	} while (cmpxchg64(&dist->propbaser, old_propbaser,
old_propbaser     410 virt/kvm/arm/vgic/vgic-mmio-v3.c 			   propbaser) != old_propbaser);