Symbol: rumpuser_sp_raise
sys/rump/include/rump/rumpuser.h
259
int rumpuser_sp_raise(void *, int);
sys/rump/kern/lib/libsysproxy/sysproxy.c
227
rump_sysproxy_ops.rspo_raise = rumpuser_sp_raise;