propbaser         245 include/kvm/arm_vgic.h 	u64			propbaser;
propbaser         276 virt/kvm/arm/vgic/vgic-its.c 	u64 propbase = GICR_PROPBASER_ADDRESS(kvm->arch.vgic.propbaser);
propbaser         406 virt/kvm/arm/vgic/vgic-its.c static u32 max_lpis_propbaser(u64 propbaser)
propbaser         408 virt/kvm/arm/vgic/vgic-its.c 	int nr_idbits = (propbaser & 0x1f) + 1;
propbaser        1064 virt/kvm/arm/vgic/vgic-its.c 	    lpi_nr >= max_lpis_propbaser(kvm->arch.vgic.propbaser))
propbaser        1914 virt/kvm/arm/vgic/vgic-its.c 	dev->kvm->arch.vgic.propbaser = INITIAL_PROPBASER_VALUE;
propbaser         389 virt/kvm/arm/vgic/vgic-mmio-v3.c 	return extract_bytes(dist->propbaser, addr & 7, len);
propbaser         398 virt/kvm/arm/vgic/vgic-mmio-v3.c 	u64 old_propbaser, propbaser;
propbaser         405 virt/kvm/arm/vgic/vgic-mmio-v3.c 		old_propbaser = READ_ONCE(dist->propbaser);
propbaser         406 virt/kvm/arm/vgic/vgic-mmio-v3.c 		propbaser = old_propbaser;
propbaser         407 virt/kvm/arm/vgic/vgic-mmio-v3.c 		propbaser = update_64bit_reg(propbaser, addr & 4, len, val);
propbaser         408 virt/kvm/arm/vgic/vgic-mmio-v3.c 		propbaser = vgic_sanitise_propbaser(propbaser);
propbaser         409 virt/kvm/arm/vgic/vgic-mmio-v3.c 	} while (cmpxchg64(&dist->propbaser, old_propbaser,
propbaser         410 virt/kvm/arm/vgic/vgic-mmio-v3.c 			   propbaser) != old_propbaser);