Symbol: rumptest_workqueue_wait_pause
tests/rump/kernspace/kernspace.h
45
void rumptest_workqueue_wait_pause(void);
tests/rump/rumpkern/t_workqueue.c
96
rumptest_workqueue_wait_pause(); /* panics or SIGSEGVs if fails */