> > Here, "verified", I think Kai wanted to emphasize that the value of > > max_vcpus passed in via KVM_TDX_INIT_VM should be checked against the > > value configured via KVM_CAP_MAX_VCPUS? > > > > Maybe "verified and used" ? > > Ok. I don't have strong opinion here. It depends on how you implement that patch. If we don't pass 'max_vcpus' in that patch, there's nothing to verify really.