if (pd == NULL)
return;
+ ASSERT (pd != base_page_dir);
for (pde = pd; pde < pd + pd_no (PHYS_BASE); pde++)
if (*pde & PG_P)
{
ASSERT (pg_ofs (upage) == 0);
ASSERT (pg_ofs (kpage) == 0);
ASSERT (upage < PHYS_BASE);
- ASSERT (lookup_page (pd, upage, false) == NULL);
+ ASSERT (pagedir_get_page (pd, upage) == NULL);
pte = lookup_page (pd, upage, true);
if (pte != NULL)