TDX_BUG_ON
TDX_BUG_ON(err, TDH_MEM_TRACK, kvm);
if (TDX_BUG_ON(err, TDH_PHYMEM_PAGE_WBINVD, kvm))
if (TDX_BUG_ON(err, TDH_MNG_CREATE, kvm)) {
if (TDX_BUG_ON(err, TDH_MNG_ADDCX, kvm)) {
if (TDX_BUG_ON(cmd->hw_error, TDH_MR_FINALIZE, kvm))
if (TDX_BUG_ON(err, TDH_VP_CREATE, vcpu->kvm)) {
if (TDX_BUG_ON(err, TDH_VP_ADDCX, vcpu->kvm)) {
if (TDX_BUG_ON(err, TDH_VP_INIT, vcpu->kvm))
TDX_BUG_ON(arg.err, TDH_VP_FLUSH, vcpu->kvm);
TDX_BUG_ON(err, TDH_PHYMEM_CACHE_WB, NULL);
if (TDX_BUG_ON(err, TDH_MNG_VPFLUSHDONE, kvm)) {
if (TDX_BUG_ON(err, TDH_MNG_KEY_FREEID, kvm)) {
if (TDX_BUG_ON(err, TDH_PHYMEM_PAGE_WBINVD, kvm))
if (TDX_BUG_ON(err, TDH_MNG_KEY_CONFIG, &kvm_tdx->kvm))