diff --git a/src/vm/page.c b/src/vm/page.c index 208e98a..8228687 100644 --- a/src/vm/page.c +++ b/src/vm/page.c @@ -199,11 +199,7 @@ page_load_file (struct page_entry *page) lock_release (&shared_file_pages_lock); return false; } - /* First time adding the shared page, so add thread as owner. */ - if (page->type != PAGE_SHARED) - { - frame_owner_insert (sfp->frame, t); - } + frame_owner_insert (sfp->frame, t); } /* Shared page is in swap. Load it. */ else