thunk_munmap
int thunk_munmap(void *addr, size_t len);
thunk_munmap((void *) VM_MIN_ADDRESS, VM_MAXUSER_ADDRESS - VM_MIN_ADDRESS);
thunk_munmap(blob, PAGE_SIZE);
thunk_munmap(sblob, PAGE_SIZE);
thunk_munmap(dblob, PAGE_SIZE);
err = thunk_munmap((void *) kmem_user_start,
err = thunk_munmap((void *) kmem_kvm_start,