Symbol: schedulework
lib/librumpuser/rumpuser_sp.c
1165
schedulework(spc, SBA_EXEC);
lib/librumpuser/rumpuser_sp.c
1175
schedulework(spc, SBA_SYSCALL);