__host_ctxt       738 arch/arm64/kvm/hyp/switch.c 					     struct kvm_cpu_context *__host_ctxt)
__host_ctxt       743 arch/arm64/kvm/hyp/switch.c 	vcpu = __host_ctxt->__hyp_running_vcpu;
__host_ctxt       749 arch/arm64/kvm/hyp/switch.c 		__sysreg_restore_state_nvhe(__host_ctxt);