Symbol: tdx_get_exit_info
arch/x86/kvm/vmx/main.c
695
tdx_get_exit_info(vcpu, reason, info1, info2, intr_info,
arch/x86/kvm/vmx/x86_ops.h
144
void tdx_get_exit_info(struct kvm_vcpu *vcpu, u32 *reason,