rumptest_threadpool_percpu_schedule
void rumptest_threadpool_percpu_schedule(void);
rumptest_threadpool_percpu_schedule(); /* panics if fails */