Symbol: rumpuser_sp_fini
sys/rump/include/rump/rumpuser.h
260
void rumpuser_sp_fini(void *);
sys/rump/kern/lib/libsysproxy/sysproxy.c
228
rump_sysproxy_ops.rspo_fini = rumpuser_sp_fini;