98 	uint64_t mpidr;  member
425 mpidr_to_vcpu(struct hyp *hyp, uint64_t mpidr)  in mpidr_to_vcpu()  argument
433 		if (hypctx != NULL && (hypctx->vmpidr_el2 & GICD_AFF) == mpidr)  in mpidr_to_vcpu()
483 		irq->mpidr = hypctx->vmpidr_el2 & GICD_AFF;  in vgic_v3_cpuinit()
955 	uint64_t mpidr;  in read_route()  local
961 	mpidr = irq->mpidr;  in read_route()
964 	return (mpidr);  in read_route()
977 	irq->mpidr = gic_reg_value_64(irq->mpidr, val, offset, size) & GICD_AFF;  in write_route()
978 	irq->target_vcpu = mpidr_to_vcpu(hypctx->hyp, irq->mpidr);  in write_route()
980 	 * If the interrupt is pending we can either use the old mpidr, or  in write_route()
981 	 * the new mpidr. To simplify this code we use the old value so we  in write_route()
1780 	uint64_t mpidr, aff1, aff2, aff3;  in vgic_v3_icc_sgi1r_write()  local
1798 		mpidr = aff3 << MPIDR_AFF3_SHIFT |  in vgic_v3_icc_sgi1r_write()
1806 				    mpidr | (cpu_off << MPIDR_AFF0_SHIFT));  in vgic_v3_icc_sgi1r_write()