ASSERT (pg_ofs (upage) == 0);
ASSERT (pg_ofs (kpage) == 0);
ASSERT (is_user_vaddr (upage));
- ASSERT (vtop (kpage) >> PTSHIFT < ram_pages);
+ ASSERT (vtop (kpage) >> PTSHIFT < init_ram_pages);
ASSERT (pd != init_page_dir);
pte = lookup_page (pd, upage, true);