libbbarrelfish: x86: pmap: remove_empty_vnodes: remove slot_free() on mapping slots
@@ -415,11 +415,6 @@ void remove_empty_vnodes(struct pmap_x86 *pmap, struct vnode *root,
debug_printf("remove_empty_vnodes: cap_delete (mapping): %s\n",
err_getstring(err));
}
- err = pmap->p.slot_alloc->free(pmap->p.slot_alloc, n->mapping);
- if (err_is_fail(err)) {
- debug_printf("remove_empty_vnodes: slot_free (mapping): %s\n",
- err_getstring(err));
- }
assert(pmap->used_cap_slots > 0);
pmap->used_cap_slots --;
// delete capability
