Searched refs:target_hypctx (Results 1 – 1 of 1) sorted by relevance
737 struct hypctx *target_hypctx; in write_pendr() local760 target_hypctx = hyp->ctx[target_vcpu]; in write_pendr()761 if (target_hypctx == NULL) in write_pendr()763 vgic_cpu = target_hypctx->vgic_cpu; in write_pendr()815 struct hypctx *target_hypctx; in write_activer() local836 target_hypctx = hyp->ctx[target_vcpu]; in write_activer()837 if (target_hypctx == NULL) in write_activer()839 vgic_cpu = target_hypctx->vgic_cpu; in write_activer()1618 struct hypctx *hypctx, *target_hypctx; in redist_read() local1650 target_hypctx = hyp->ctx[vcpuid]; in redist_read()[all …]