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:

quoted

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