Searched refs:target_hypctx (Results 1 – 1 of 1) sorted by relevance
736 struct hypctx *target_hypctx; in write_pendr() local759 target_hypctx = hyp->ctx[target_vcpu]; in write_pendr()760 if (target_hypctx == NULL) in write_pendr()762 vgic_cpu = target_hypctx->vgic_cpu; in write_pendr()814 struct hypctx *target_hypctx; in write_activer() local835 target_hypctx = hyp->ctx[target_vcpu]; in write_activer()836 if (target_hypctx == NULL) in write_activer()838 vgic_cpu = target_hypctx->vgic_cpu; in write_activer()1617 struct hypctx *hypctx, *target_hypctx; in redist_read() local1649 target_hypctx = hyp->ctx[vcpuid]; in redist_read()[all …]