On Fri, 2019-08-23 at 12:37 +0100, Will Deacon wrote: > On Thu, Aug 22, 2019 at 05:33:23PM -0400, Qian Cai wrote: > > https://raw.githubusercontent.com/cailca/linux-mm/master/arm64.config > > > > Booting an arm64 ThunderX2 server with page_alloc.shuffle=1 [1] + > > CONFIG_PROVE_LOCKING=y results in hanging. > > Hmm, but the config you link to above has: > > # CONFIG_PROVE_LOCKING is not set > > so I'm confused. Also, which tree is this? I manually turn on CONFIG_PROVE_LOCKING=y on the top of that, and reproduce on both the mainline and linux-next trees.