Re: [PATCH V3 3/4] arm64/mm: Inhibit huge-vmap with ptdump

2019-05-16 Thread Ard Biesheuvel
On Tue, 14 May 2019 at 11:00, Anshuman Khandual wrote: > > From: Mark Rutland > > The arm64 ptdump code can race with concurrent modification of the > kernel page tables. At the time this was added, this was sound as: > > * Modifications to leaf entries could result in stale information being >

Re: [PATCH V3 3/4] arm64/mm: Inhibit huge-vmap with ptdump

2019-05-14 Thread David Hildenbrand
On 14.05.19 11:00, Anshuman Khandual wrote: > From: Mark Rutland > > The arm64 ptdump code can race with concurrent modification of the > kernel page tables. At the time this was added, this was sound as: > > * Modifications to leaf entries could result in stale information being > logged, but