static void pagefault(unsigned virt_page) { unsigned page; num_pagefault += 1; page = take_phys_page(virt_page); }
static void pagefault(unsigned virt_page) { unsigned page; num_pagefault += 1; page = take_phys_page(); page_table_entry_t* pt = &page_table[virt_page]; if (pt->ondisk) { coremap[page].page = pt->page; read_page(page,pt->page); } pt->inmemory = 1; pt->page = page; coremap[page].owner = pt; }