Symbol: rumpuser_free
sys/rump/include/rump/rumpuser.h
75
void rumpuser_free(void *, size_t);
sys/rump/librump/rumpkern/vm.c
1350
rumpuser_free(what, size);
sys/rump/librump/rumpkern/vm.c
904
rumpuser_free((void *)vaddr, size);