Changeset 609a417 in mainline for kernel/arch/arm32/include/mm/page.h

Timestamp:

2012-07-01T22:28:15Z (12 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

7d68da80

Parents:

0d8269b

Message:

Add write memory barriers to pt_mapping_insert() so that setting a new
page table level is separated from marking it present in the previous
level.

This is to make sure that a concurrent hardware page table walk or
pt_page_find() will see the new level only after it is fully
initialized.

(No files)