tdx_prepare_switch_to_guest
tdx_prepare_switch_to_guest(vcpu);
void tdx_prepare_switch_to_guest(struct kvm_vcpu *vcpu);