handle oom in walkpgdir

d53f7567 · Nickolai Zeldovich · 106f7fc8 · d53f7567
--- a/kernel/vm.cc
+++ b/kernel/vm.cc
@@ -552,10 +552,8 @@ vmap::pagefault(uptr va, u32 err)
    return -1;

  atomic<pme_t> *pte = walkpgdir(pml4, va, 1);
-  if (pte == nullptr) {
-    cprintf("pagefault: couldn't allocate page table\n");
-    return -1;
-  }
+  if (pte == nullptr)
+    throw std::bad_alloc();

 retry:
  pme_t ptev = pte->load();