79 	has_fpmr = kvm_has_fpmr(kern_hyp_va(vcpu->kvm));  in fpsimd_sve_sync()
102 	hyp_vcpu->vcpu.arch.sve_state	= kern_hyp_va(host_vcpu->arch.sve_state);  in flush_hyp_vcpu()
113 	hyp_vcpu->vcpu.arch.debug_ptr	= kern_hyp_va(host_vcpu->arch.debug_ptr);  in flush_hyp_vcpu()
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()
191 	__kvm_adjust_pc(kern_hyp_va(vcpu));  in handle___kvm_adjust_pc()
205 	__kvm_tlb_flush_vmid_ipa(kern_hyp_va(mmu), ipa, level);  in handle___kvm_tlb_flush_vmid_ipa()
214 	__kvm_tlb_flush_vmid_ipa_nsh(kern_hyp_va(mmu), ipa, level);  in handle___kvm_tlb_flush_vmid_ipa_nsh()
224 	__kvm_tlb_flush_vmid_range(kern_hyp_va(mmu), start, pages);  in handle___kvm_tlb_flush_vmid_range()
231 	__kvm_tlb_flush_vmid(kern_hyp_va(mmu));  in handle___kvm_tlb_flush_vmid()
238 	__kvm_flush_cpu_context(kern_hyp_va(mmu));  in handle___kvm_flush_cpu_context()
274 	__vgic_v3_save_vmcr_aprs(kern_hyp_va(cpu_if));  in handle___vgic_v3_save_vmcr_aprs()
281 	__vgic_v3_restore_vmcr_aprs(kern_hyp_va(cpu_if));  in handle___vgic_v3_restore_vmcr_aprs()
356 	__pkvm_vcpu_init_traps(kern_hyp_va(vcpu));  in handle___pkvm_vcpu_init_traps()
365 	host_kvm = kern_hyp_va(host_kvm);  in handle___pkvm_init_vm()
375 	host_vcpu = kern_hyp_va(host_vcpu);  in handle___pkvm_init_vcpu()