I went to do this, and realized there's a slight problem -- d_umount
also checks the root d_count as a condition for unmounting. So the
count has to stay at 1.
I agree with your principle of keeping special cases separate, but this
seems like the exception; when unmounting the root, there is no covered
directory, so we have to check for it.
Regards,
Bill