tdx_prepare_switch_to_guest - Linux

Symbol: tdx_prepare_switch_to_guest

arch/x86/kvm/vmx/main.c

tdx_prepare_switch_to_guest(vcpu);

arch/x86/kvm/vmx/x86_ops.h

void tdx_prepare_switch_to_guest(struct kvm_vcpu *vcpu);