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. M. -- Jazz is not dead. It just smells funny...