[linux-next:master] BUILD REGRESSION 296d53d8f84ce50ffaee7d575487058c8d437335

[Bart Van Assche]

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.