Hi, On Fri, Apr 07, 2023 at 10:24:19AM +0800, Baoquan He wrote: > On arm64, reservation for 'crashkernel=xM,high' is taken by searching for > suitable memory region top down. If the 'xM' of crashkernel high memory > is reserved from high memory successfully, it will try to reserve > crashkernel low memory later accoringly. Otherwise, it will try to search > low memory area for the 'xM' suitable region. Please see the details in > Documentation/admin-guide/kernel-parameters.txt. [...] > arch/arm64/mm/init.c | 44 ++++++++++++++++++++++++++++++++++---------- > 1 file changed, 34 insertions(+), 10 deletions(-) I tried to apply this, but smatch is unhappy with the result: | arch/arm64/mm/init.c:153 reserve_crashkernel() error: uninitialized symbol 'search_base'. I _think_ this is a false positive, but I must say that the control flow in reserve_crashkernel() is extremely hard to follow so I couldn't be sure. If the static checker is struggling, then so will humans! Ideally, this would all be restructured to make it easier to follow, but in the short term we need something to squash the warning. Cheers, Will _______________________________________________ kexec mailing list kexec@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/kexec
