Symbol: TDH_MNG_VPFLUSHDONE
arch/x86/kvm/vmx/tdx.c
527
if (TDX_BUG_ON(err, TDH_MNG_VPFLUSHDONE, kvm)) {
arch/x86/virt/vmx/tdx/tdx.c
1720
return seamcall(TDH_MNG_VPFLUSHDONE, &args);