mi_worker
if ((r = thread_create(&tid, mi_worker, ctx)) != 0) \
if ((r = thread_create(&tid, mi_worker, (void *) NULL)) != 0)
static void *mi_worker __P((void *));