Changes in kernel/genarch/src/mm/page_ht.c [7d68da80:de73242] in mainline

File:

• kernel/genarch/src/mm/page_ht.c (modified) (1 diff)

kernel/genarch/src/mm/page_ht.c

@@ -209 +209 @@
                 pte->frame = ALIGN_DOWN(frame, FRAME_SIZE);
 
+                /*
+                 * Make sure that a concurrent ht_mapping_find() will see the
+                 * new entry only after it is fully initialized.
+                 */
                 write_barrier();