Symbol: lwp0rele
sys/rump/librump/rumpkern/scheduler.c
277
lwp0rele();
sys/rump/librump/rumpkern/scheduler.c
430
lwp0rele();