Jann Horn [off-list ref] wrote:

quoted

+                       /* Global root? */
+                       if (mnt != parent) {
+                               cursor.dentry = READ_ONCE(mnt->mnt_mountpoint);
+                               mnt = parent;
+                               cursor.mnt = &mnt->mnt;
+                               continue;
+                       }
+                       break;

(nit: this would look clearer if you inverted the condition and wrote
it as "if (mnt == parent) break;", then you also wouldn't need that
"continue" or the braces)

It does look better with the logic inverted, but you *do* still need the
continue.  After the if-statement, there is:

	cursor.dentry = cursor.dentry->d_parent;

which we need to skip.  It might make sense to move that into an
else-statement from an aesthetic point of view.

David