96 	struct kvm_vcpu *host_vcpu = hyp_vcpu->host_vcpu;  in flush_hyp_vcpu()  local
100 	hyp_vcpu->vcpu.arch.ctxt	= host_vcpu->arch.ctxt;  in flush_hyp_vcpu()
102 	hyp_vcpu->vcpu.arch.sve_state	= kern_hyp_va(host_vcpu->arch.sve_state);  in flush_hyp_vcpu()
104 	hyp_vcpu->vcpu.arch.sve_max_vl	= min(host_vcpu->arch.sve_max_vl, kvm_host_sve_max_vl);  in flush_hyp_vcpu()
106 	hyp_vcpu->vcpu.arch.hw_mmu	= host_vcpu->arch.hw_mmu;  in flush_hyp_vcpu()
108 	hyp_vcpu->vcpu.arch.hcr_el2	= host_vcpu->arch.hcr_el2;  in flush_hyp_vcpu()
109 	hyp_vcpu->vcpu.arch.mdcr_el2	= host_vcpu->arch.mdcr_el2;  in flush_hyp_vcpu()
111 	hyp_vcpu->vcpu.arch.iflags	= host_vcpu->arch.iflags;  in flush_hyp_vcpu()
113 	hyp_vcpu->vcpu.arch.debug_ptr	= kern_hyp_va(host_vcpu->arch.debug_ptr);  in flush_hyp_vcpu()
115 	hyp_vcpu->vcpu.arch.vsesr_el2	= host_vcpu->arch.vsesr_el2;  in flush_hyp_vcpu()
117 	hyp_vcpu->vcpu.arch.vgic_cpu.vgic_v3 = host_vcpu->arch.vgic_cpu.vgic_v3;  in flush_hyp_vcpu()
122 	struct kvm_vcpu *host_vcpu = hyp_vcpu->host_vcpu;  in sync_hyp_vcpu()  local
124 	struct vgic_v3_cpu_if *host_cpu_if = &host_vcpu->arch.vgic_cpu.vgic_v3;  in sync_hyp_vcpu()
129 	host_vcpu->arch.ctxt		= hyp_vcpu->vcpu.arch.ctxt;  in sync_hyp_vcpu()
131 	host_vcpu->arch.hcr_el2		= hyp_vcpu->vcpu.arch.hcr_el2;  in sync_hyp_vcpu()
133 	host_vcpu->arch.fault		= hyp_vcpu->vcpu.arch.fault;  in sync_hyp_vcpu()
135 	host_vcpu->arch.iflags		= hyp_vcpu->vcpu.arch.iflags;  in sync_hyp_vcpu()
144 	DECLARE_REG(struct kvm_vcpu *, host_vcpu, host_ctxt, 1);  in handle___kvm_vcpu_run()
147 	host_vcpu = kern_hyp_va(host_vcpu);  in handle___kvm_vcpu_run()
164 		host_kvm = kern_hyp_va(host_vcpu->kvm);  in handle___kvm_vcpu_run()
166 					      host_vcpu->vcpu_idx);  in handle___kvm_vcpu_run()
180 		ret = __kvm_vcpu_run(host_vcpu);  in handle___kvm_vcpu_run()
372 	DECLARE_REG(struct kvm_vcpu *, host_vcpu, host_ctxt, 2);  in handle___pkvm_init_vcpu()
375 	host_vcpu = kern_hyp_va(host_vcpu);  in handle___pkvm_init_vcpu()
376 	cpu_reg(host_ctxt, 1) = __pkvm_init_vcpu(handle, host_vcpu, vcpu_hva);  in handle___pkvm_init_vcpu()