Symbol: rumptest_thread
tests/rump/kernspace/kernspace.h
39
void rumptest_thread(void);
tests/rump/rumpkern/t_threads.c
71
rumptest_thread(); /* panics if fails */