TDH_MNG_KEY_CONFIG
if (TDX_BUG_ON(err, TDH_MNG_KEY_CONFIG, &kvm_tdx->kvm))
return seamcall(TDH_MNG_KEY_CONFIG, &args);