Hi Bart, On Tue, Jul 04, 2023 at 07:11:37AM -0700, Bart Van Assche wrote: > On 7/4/23 00:15, Marc Zyngier wrote: > > On 2023-07-03 16:11, kernel test robot wrote: > > > tree/branch: > > > https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git > > > master > > > branch HEAD: 296d53d8f84ce50ffaee7d575487058c8d437335 Add linux-next > > > specific files for 20230703 > > > > > > > [...] > > > > > Unverified Error/Warning (likely false positive, please contact us if > > > interested): > > > > > > arch/arm64/kvm/mmu.c:147:3-9: preceding lock on line 140 > > > > This *is* a false positive. The function is entered with a lock > > held, it will exit with the lock held as well. Inside the body > > of the function, we release and reacquire the lock. > > Which tool reported this message? If this message was reported by sparse, > has it been considered to add a __must_hold() annotation? Sorry for the late reply. This message was reported by coccinelle and may be a false positive. Please check the link [1] for details. [1] https://lore.kernel.org/oe-kbuild/202307031751.Ztgi3O29-lkp@xxxxxxxxx/ Best Regards, Yujie
