Symbol: rumptest_workqueue1
tests/rump/kernspace/kernspace.h
43
void rumptest_workqueue1(void);
tests/rump/rumpkern/t_workqueue.c
54
rumptest_workqueue1(); /* panics if fails */