TDH_PHYMEM_CACHE_WB
TDX_BUG_ON(err, TDH_PHYMEM_CACHE_WB, NULL);
return seamcall(TDH_PHYMEM_CACHE_WB, &args);