Excerpts from Paul Mackerras's message of May 9, 2020 3:02 pm: > This fixes the compile errors we currently get with CONFIG_SMP=n and > CONFIG_PPC_RADIX_MMU=y. Did I already fix this, or does it keep getting broken?! :( Anyway fine by me if it's required. Thanks, Nick