Function lock_allocator

kernel/oswrapper/vspace.cc:162–164

}

static void lock_allocator() {
  vmem.metapage->allocator_lock.lock();
}

static void unlock_allocator() {
  vmem.metapage->allocator_lock.unlock();