On 6/15/21 8:30 AM, David Gibson wrote:
On Mon, Jun 14, 2021 at 10:09:56PM +0530, Aneesh Kumar K.V wrote:No functional change in this patch.I think this needs a rationale as to why 'primary_domain_index' is a better name than 'min_common_depth'. The meaning isn't obvious to me from either name.
The documentation added in patch 7 explains the name to some extent. Is that sufficient?
-aneesh