Symbol: TDH_VP_FLUSH
arch/x86/kvm/vmx/tdx.c
429
TDX_BUG_ON(arg.err, TDH_VP_FLUSH, vcpu->kvm);
arch/x86/virt/vmx/tdx/tdx.c
1710
return seamcall(TDH_VP_FLUSH, &args);