TDH_VP_INIT
if (TDX_BUG_ON(err, TDH_VP_INIT, vcpu->kvm))
return seamcall(TDH_VP_INIT | (1ULL << TDX_VERSION_SHIFT), &args);