rumpkern_unsched
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(nlocks, mtx);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&dummy, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL); \
rumpkern_unsched(&nlocks, NULL); \
rumpkern_unsched(nlocks, mtx);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);
rumpkern_unsched(&nlocks, NULL);