Changeset 7d68da80 in mainline for kernel/genarch/src/mm/page_pt.c

Timestamp:

2012-07-02T21:31:24Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

e943ecf

Parents:

609a417

Message:

Add a write memory barrier also to ht_mapping_insert().

(No files)