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