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?
Thanks,
Bart.
