Changes in kernel/genarch/src/mm/page_ht.c [de73242:7d68da80] 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();