[linux-next:master] BUILD REGRESSION 296d53d8f84ce50ffaee7d575487058c8d437335

[Yujie Liu]

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@intel.com/

Best Regards,
Yujie