HomeFreeBSD

Because of AArch64's weak memory consistency model, we need to include a

Description

Because of AArch64's weak memory consistency model, we need to include a
memory barrier between the stores for initializing a page table page and
the store for adding that page to the page table. Otherwise, a page table
walk by another processor's MMU could see the page table page before it
sees the initialized entries.

Simplify pmap_growkernel(). In particular, eliminate an unnecessary TLB
invalidation.

Reviewed by: andrew, markj
MFC after: 1 week
Differential Revision: https://reviews.freebsd.org/D21126

Details

Provenance
alcAuthored on Aug 2 2019, 10:36 PM
Parents
rG60f2e2e7020b: Add bzip2recover.1.
Branches
Unknown
Tags
Unknown

Event Timeline