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