Symbol: rumptest_workqueue_wait
tests/rump/kernspace/kernspace.h
44
void rumptest_workqueue_wait(void);
tests/rump/rumpkern/t_workqueue.c
71
rumptest_workqueue_wait(); /* panics if fails */