Searched refs:mpidr_to_vcpu (Results 1 – 1 of 1) sorted by relevance
425 mpidr_to_vcpu(struct hyp *hyp, uint64_t mpidr) in mpidr_to_vcpu() function978 irq->target_vcpu = mpidr_to_vcpu(hypctx->hyp, irq->mpidr); in write_route()1805 target_vcpuid = mpidr_to_vcpu(hyp, in vgic_v3_icc_sgi1r_write()