Symbol: destroy_sc
tests/rump/kernspace/workqueue.c
118
destroy_sc(sc);
tests/rump/kernspace/workqueue.c
143
destroy_sc(sc);
tests/rump/kernspace/workqueue.c
174
destroy_sc(sc);