unused field

22ed1efb · Nickolai Zeldovich · b4432448 · 22ed1efb · 22ed1efb
--- a/include/vm.hh
+++ b/include/vm.hh
@@ -49,7 +49,6 @@ struct vma : public range {
 struct vmap {
  struct crange cr;
  atomic<u64> ref;
-  u64 alloc;
  pgmap *const pml4;           // Page table
  char *const kshared;


--- a/kernel/vm.cc
+++ b/kernel/vm.cc
@@ -140,11 +140,8 @@ vma::~vma()
 */

 vmap::vmap()
-  : cr(10), pml4(setupkvm()), kshared((char*) ksalloc(slab_kshared))
+  : cr(10), ref(1), pml4(setupkvm()), kshared((char*) ksalloc(slab_kshared))
 {
-  ref = 1;
-  alloc = 0;
-
  if (pml4 == 0) {
    cprintf("vmap_alloc: setupkvm out of memory\n");
    goto err;
@@ -175,7 +172,6 @@ vmap::~vmap()
    ksfree(slab_kshared, kshared);
  if (pml4)
    freevm(pml4);
-  alloc = 0;
 }

 void