rumpkern_sched
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, mtx);
rumpkern_sched(nlocks, mtx);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(0, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL); \
rumpkern_sched(nlocks, NULL); \
rumpkern_sched(nlocks, mtx);
rumpkern_sched(nlocks, mtx);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);
rumpkern_sched(nlocks, NULL);