Re: [PATCH v7 4/4] s390/mm: Lazy MMU mode sanitizer

> Detect PTE entries access in lazy MMU mode by means other
> than set_pte() and ptep_get() primitives, which would be
> a read hazard.
> 
> The access to kasan shadow memory from ptep_get_lockless()
> mistakenly hits invalid access in case a concurrent lazy
> MMU access to the same PTE is happening. To avoid that
> disable instrumentation for ptep_get_lockless() altogether.
> 
> Suggested-by: Ilya Leoshkevich <[email protected]>
> Signed-off-by: Alexander Gordeev <[email protected]>

Sashiko has reviewed this patch and found no issues. It looks great!

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/[email protected]?part=4